Top 427 proof ontological PDF Book Page 16

book image

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)
·248 Pages
·2001
·1.731 MB

book image

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

A.Kino, J.Myhill, R.E.Vesley (eds.)
·500 Pages
·1970
·15.472 MB