Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY

Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY

by Anne S. Troelstra

Paperback(1969)

$39.95
Choose Expedited Shipping at checkout for guaranteed delivery by Tuesday, January 22

Product Details

ISBN-13: 9783540046141
Publisher: Springer Berlin Heidelberg
Publication date: 07/01/1969
Series: Lecture Notes in Mathematics , #95
Edition description: 1969
Pages: 116
Product dimensions: 8.50(w) x 10.98(h) x 0.01(d)

Table of Contents

Logic.- Elementary arithmetic.- Species.- Sequences and constructive (lawlike) objects.- Elementary theory of real numbers.- Ordering relations and order on the real line.- Constructive or lawlike analysis.- Lawless sequences of natural numbers.- Choice sequences.- Spreads and a theory of real numbers.- Topology; separable metric spaces.- Applications of the continuity principles and the fan theorem.- Well-orderings and ordinals.- Species revisited; the role of the comprehension principle.- Brouwer's theory of the creative subject.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews