Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Keywords

MathematicsHistory & PhilosophyLogic

1973Book

Author(s)A S. Troelstra

PublisherSpringer Science & Business Media

ISBN9783540064916

LanguageEnglish

SpringerLink

Similar Books

Book

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)

Book

Unvollstñdigkeit und Unentscheidbarkeit Die metamathematischen Resultate von Gd̲el, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung

Book

logic-symposia-hakone-1979-1980

Book

Enumerability, Decidability, Computability

Book

Forcing, Arithmetic, Division Rings (Lecture Notes in Mathematics, 454)

Book

Aspects of Constructibility (Lecture Notes in Mathematics, 354)

Book

Computations in Higher Types (Lecture Notes in Mathematics, 574)

Book

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

Book

na

Book

Numerische Mathematik