Proof theory in computer science
de Reinhard Kahle, Peter Schroeder-Heister
Materias
Ediciones (2)
- Proof Theory in Computer Science (2003)
Springer London, Limited · inglés · ISBN 9783540455042
- Proof Theory in Computer Science (2001)
Springer · inglés · ISBN 9783540427520
Más obras de Reinhard Kahle
