|
Book Review
The AMS does not provide abstracts of book reviews.
You may download the entire review from the links below.
Retrieve article in:
PDF
Book Information
Author(s):
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:
- 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
Additional Information:
Reviewer(s):
Ieke
Moerdijk
Review Information:
Journal:
Bull. Amer. Math. Soc.
22
(1990),
301-304.
DOI:
10.1090/S0273-0979-1990-15891-4
PII:
S 0273-0979(1990)15891-4
|
Comments: webmaster@ams.org