Choice sequences. A chapter of intuitionistic mathematics

by A. S. Troelstra · 2 reviews · 1978–1979

Reviewed by Journal Date Access
Richard Vesley The Journal of Symbolic Logic 1979 Restricted
MARY TILES Archives de Philosophie 1978-04-01 Restricted

Metaphysics & Logic Epistemology & Philosophy of Mind

Also by Troelstra

Search PhilReviews for this title