Principles of Intuitionism

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

Häftad, Engelska, 1969

Av Anne S. Troelstra

359 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1969-01-01
Mått216 x 279 x 7 mm
Vikt189 g
SpråkEngelska
SerieLecture Notes in Mathematics
Antal sidor116
Upplaga1969
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
EAN9783540046141

Mer från samma serie

Stochastic Processes - Mathematics and Physics II

Del 1250

Stochastic Processes - Mathematics and Physics II

Sergio Albeverio, Philippe Blanchard, Ludwig Streit

499 kr

From Hahn-Banach to Monotonicity

Del 1693

From Hahn-Banach to Monotonicity

709 kr

Probabilistic Group Theory, Combinatorics, and Computing

Del 2070

Probabilistic Group Theory, Combinatorics, and Computing

Alla Detinko, Dane Flannery, Eamonn O'Brien

499 kr

Leavitt Path Algebras

Del 2191

Leavitt Path Algebras

Gene Abrams, Pere Ara, Mercedes Siles Molina

849 kr

Index and Other Useful Information

Index and Other Useful Information

A. Dold, B. Eckmann

709 kr

Geometric Properties of Banach Spaces and Nonlinear Iterations

Del 1965

Geometric Properties of Banach Spaces and Nonlinear Iterations

Charles Chidume

709 kr

Spectral Theory for Simply Periodic Solutions of the Sinh-Gordon Equation

Del 2229

Spectral Theory for Simply Periodic Solutions of the Sinh-Gordon Equation

Sebastian Klein

569 kr

Zeta Integrals, Schwartz Spaces and Local Functional Equations

Del 2228

Zeta Integrals, Schwartz Spaces and Local Functional Equations

639 kr

Fredholm and Local Spectral Theory II

Del 2235

Fredholm and Local Spectral Theory II

569 kr

Flexibility of Group Actions on the Circle

Del 2231

Flexibility of Group Actions on the Circle

Sang-hyun Kim, Thomas Koberda, Mahan Mj, Sang-Hyun Kim

349 kr

Du kanske också är intresserad av

Basic Proof Theory

Basic Proof Theory

A. S. (Universiteit van Amsterdam) Troelstra, H. (Universitat Munchen) Schwichtenberg, Anne S. Troelstra, A. S. Troelstra, H. Schwichtenberg

619 kr

Bibliography of Natural History Travel Narratives

Bibliography of Natural History Travel Narratives

Anne S. Troelstra

4 569 kr

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Del 344

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Anne S. Troelstra

919 kr

Constructivism in Mathematics, Vol 1

Del 121

Constructivism in Mathematics, Vol 1

A.S. Troelstra, D. van Dalen, A. S. Troelstra, D. Van Dalen, Anne S. Troelstra

909 kr

De fenomenala fruntimren på Grand Hôtel

4 pocket för 3

Del 1

De fenomenala fruntimren på Grand Hôtel

Ruth Kvarnström-Jones

125 kr

Kvinnorna

4 pocket för 3

Kvinnorna

125 kr

Charlies hämnd

Nyhet

Del 1

Charlies hämnd

Simona Ahrnstedt

79 kr125 kr

Väninnorna på Nordiska Kompaniet

Nyhet

Del 2

Väninnorna på Nordiska Kompaniet

Ruth Kvarnström-Jones

79 kr125 kr

Den yttersta hemligheten

Nyhet

Del 6

Den yttersta hemligheten

329 kr

Klenoden

Nyhet

Klenoden

Klas Östergren

329 kr

Tillhör följande kategorier

Matematik inom Naturvetenskap och teknik

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.