Book Review
The AMS does not provide abstracts of book reviews.
You may download the entire review from the links below.
MathSciNet review:
1567204
Full text of review:
PDF
This review is available free of charge.
Book Information:
Author:
A. S. Troelstra
Title:
Choice sequences, A chapter of intuitionistic mathematics
Additional book information:
Clarendon Press, Oxford, 1977, ix + 170 pp., $10.95.
Errett Bishop, Foundations of constructive analysis, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1967. MR 0221878
Michael Dummett, Elements of intuitionism, Oxford Logic Guides, Clarendon Press, Oxford, 1977. Written with the assistance of Roberto Minio. MR 0498017
3. H. Friedman, The intuitionistic completeness of intuitionistic logic under Tarskian semantics, Abstract, Department of Math., SUNY at Buffalo, 1977.
4. H. Friedman, New and old results on completeness of H.P.C., Abstract, Department of Math., SUNY at Buffalo, 1977.
G. Kreisel, Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae, J. Symbolic Logic 23 (1958), 317–330. MR 103827, DOI 10.2307/2964291
A. S. Troelstra, Choice sequences, Oxford Logic Guides, Clarendon Press, Oxford, 1977. A chapter of intuitionistic mathematics. MR 0476415
H. de Swart, Another intuitionistic completeness proof, J. Symbolic Logic 41 (1976), no. 3, 644–662. MR 485329, DOI 10.2307/2272042
- 1.
- E. Bishop, Foundations of constructive analysis, McGraw-Hill, New York, 1967. MR 0221878
- 2.
- M. Dummett, Elements of intuitionism, Clarendon Press, Oxford, 1977. MR 498017
- 3.
- H. Friedman, The intuitionistic completeness of intuitionistic logic under Tarskian semantics, Abstract, Department of Math., SUNY at Buffalo, 1977.
- 4.
- H. Friedman, New and old results on completeness of H.P.C., Abstract, Department of Math., SUNY at Buffalo, 1977.
- 5.
- G. Kreisel, Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae, J. Symbolic Logic 23 (1958), 317-330. MR 103827
- 6.
- A. S. Troelstra, A first supplement to choice sequences, Xeroxed manuscript, Math. Institute, University of Amsterdam, 1978. MR 476415
- 7.
- H. deSwart, Another intuitionistic completeness proof, J. Symbolic Logic 41 (1976), 644-662. MR 485329
Review Information:
Reviewer:
Richard Statman
Journal:
Bull. Amer. Math. Soc.
1 (1979), 1022-1024
DOI:
https://doi.org/10.1090/S0273-0979-1979-14726-8