Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)

Book Review

The AMS does not provide abstracts of book reviews. You may download the entire review from the links below.


MathSciNet review: 932457
Full text of review: PDF   This review is available free of charge.
Book Information:

Author: A. G. Dragalin
Title: Mathematical intuitionism. Introduction to proof theory
Additional book information: Translations of Mathematical Monographs, Vol. 67. Translated by E. Mendelson. American Mathematical Society, Providence, R. I., 1988, ix+228 pp., $75.00. ISBN 0-8218-4520-9.

References [Enhancements On Off] (What's this?)

  • 1. E. W. Beth, Semantic construction of intuitionistic logic, Kon. Ned. Ak. Wet. 19 (1956), 357-388. MR 89152
  • 2. P. J. Cohen, Set theory and the continuum hypothesis, Benjamin, New York, 1966. MR 232676
  • 3. E. Dubuc, C, Amer. J. Math 103 (1981). MR 623133
  • 4. M. Fourman and D. Scott, Sheaves and logic, in Application of Sheaves, Springer LNM 753, 1979, pp. 280-401. MR 555551
  • 5. A. Grothendieck, et al., Theorie des topos et cohomologie étale des schémes, Springer LNM 269, 1972. MR 354653
  • 6. J. M. E. Hyland, The effective topos, The L. E. J. Brouwer Centenary Sympos. (A. S. Troelstra, D. van Dalen, eds.), North-Holland, Amsterdam, 1982. MR 717245
  • 7. S. C. Kleene, On the interpretation of intuitionistic number theory, J. Symbolic Logic 10 (1945), 109-124. MR 15346
  • 8. A. Kock, Synthetic differential geometry, Cambridge Univ. Press, Cambridge, United Kingdom, 1981. MR 649622
  • 9. S. Kripke, Semantical analysis of intuitionistic logic, I, in Formal Systems and Recursive Functions (J. Crossely and M. A. E. Dummett, eds.), North-Holland, Amsterdam, 1965, pp. 92-130. MR 201300
  • 10. R. Lavendhomme, Leçons de géométrie différentielle synthétique naïve, CIACO, Louvain-la-Neuve, 1987. MR 933087
  • 11. I. Moerdijk and G. E. Reyes, A smooth version of the Zariski topos, Adv. Math. 65 (1987), 229-253. MR 904724
  • 12. A. Robinson, Non-standard analysis, North-Holland, Amsterdam, 1966. MR 205854
  • 13. M. Tierney, Sheaf theory and the continuum hypothesis, in Toposes, Algebraic Geometry and Logic (F. W. Lawvere, ed.), Springer LNM 274, 1972. MR 373888
  • 14. A. S. Troelstra and D. van Dalen, Constructivism in mathematics, vol. II, North-Holland, Amsterdam, 1988. MR 970277

Review Information:

Reviewer: Ieke Moerdijk
Journal: Bull. Amer. Math. Soc. 22 (1990), 301-304
DOI: https://doi.org/10.1090/S0273-0979-1990-15891-4
American Mathematical Society