2 results
M. E. Szabo. Algebra of proofs. Studies in logic and the foundations of mathematics, vol. 88. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xii + 297 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 4 / December 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 904-907
- Print publication:
- December 1982
-
- Article
- Export citation
D. M. R. Leivant. Absoluteness of intuitionistic logic. Mathematical Centre tracts, no. 73. Mathematisch Centrum, Amsterdam1979, ix + 137 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 4 / December 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 873-874
- Print publication:
- December 1981
-
- Article
- Export citation