Computational logic and proof theory
de Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic), Georg Gottlob, Alexander Leitsch
"The Third Kurt G
Materias
Ediciones (2)
- Computational Logic and Proof Theory (1993)
Springer · inglés · ISBN 9780387571843
- Computational logic and proof theory (1993)
Springer-Verlag · inglés