Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | anglès |
| Publicat: |
Berlín, Alemania :
Springer,
1997, c1997
|
| Col·lecció: | (Lecture Notes in Computer Science)
|
| Accés en línia: | Ver documento en línea |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars: Computational Logic and Proof Theory :
- Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings /
- A Proof Theory for Description Logics /
- Proof, Computation and Agency : Logic at the Crossroads /
- Memoirs of a Proof Theorist : Gödel and Other Logicians /
- People, Problems, and Proofs : Essays from Gödel's Lost Letter: 2010 /
- Proofs and Refutations : The Logic of Mathematical Discovery /