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. Errett Bishop, Foundations of constructive analysis, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1967. MR 0221878
  • 2. Michael Dummett, Elements of intuitionism, Clarendon Press, Oxford, 1977. Written with the assistance of Roberto Minio; Oxford Logic Guides. 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.
  • 5. G. Kreisel, Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae, J. Symb. Logic 23 (1958), 317–330. MR 0103827
  • 6. A. S. Troelstra, Choice sequences, Clarendon Press, Oxford, 1977. A chapter of intuitionistic mathematics; Oxford Logic Guides. MR 0476415
  • 7. H. de Swart, Another intuitionistic completeness proof, J. Symbolic Logic 41 (1976), no. 3, 644–662. MR 0485329,

Review Information:

Reviewer: Richard Statman
Journal: Bull. Amer. Math. Soc. 1 (1979), 1022-1024