3 options
Principles of Intuitionism : Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y. / by A. S. Troelstra.
Math/Physics/Astronomy Library QA3 .L28 v.1-999 470,523,830,849:2nd ed. v.1000-1722,1762,1781,1799-2099,2100-2192-2218 2219-2223-2258,2260-2271,2273-2274-2277,2279-2281,2283-2289,2291,2293-2294,2296,2298-2299,2300-2311,2313-2366,2368-2379,2381-2382 2385,2388-2389
Mixed Availability
LIBRA QA3 .L28 Scattered vols.
Mixed Availability
- Format:
- Book
- Author/Creator:
- Troelstra, A. S. (Anne Sjerp), author.
- Series:
- Lecture Notes in Mathematics, 0075-8434 ; 95.
- Lecture Notes in Mathematics, 0075-8434 ; 95
- Language:
- English
- Subjects (All):
- Mathematics.
- Mathematics, general.
- Local Subjects:
- Mathematics, general.
- Physical Description:
- 1 online resource (IV, 116 pages).
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1969.
- System Details:
- text file PDF
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 9783540361305
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.