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.

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.

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

  • 1. E. Bishop, Foundations of constructive analysis, McGraw-Hill, New York, 1967. MR 221878
  • 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
American Mathematical Society