EKB DL

Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY (Lecture Notes in Mathematics, 95) | EKB DL

EKB DL

Home BookPrinciples of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY (Lecture Notes in Mathematics, 95)

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

Keywords

INTUITIONISTIC MATHEMATICS

1969Book

Author(s)Anne S. Troelstra

PublisherSpringer

ISBN9783540046141

LanguageEnglish

SpringerLink

Similar Books

Book

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Book

Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic (Lecture Notes in Mathematics, 70)

Book

Cambridge Summer School in Mathematical Logic: Held in Cambridge /U. K., August 1-21, 1971 (Lecture Notes in Mathematics, 337)

Book

The Syntax and Semantics of Infinitary Languages (Lecture Notes in Mathematics, 72)

Book

Lectures on Non- Standard Analysis (Lecture Notes in Mathematics, 94)

Book

Proof Theory (Grundlehren der mathematischen Wissenschaften)

Book

Truth, Proof and Infinity A Theory of Constructive Reasoning

Book

Extensional Gödel Functional Interpretation: A Consistensy Proof of Classical Analysis (Lecture Notes in Mathematics, 306)

Book

One Hundred Years of Intuitionism (1907-2007) The Cerisy Conference

Book

Cabal Seminar 79-81: Proceedings. Caltech-UCLA Logic Seminar 1979-81 (Lecture Notes in Mathematics)