Verkauf durch Sack Fachmedien

Troelstra

Principles of Intuitionism

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

Medium: Buch
ISBN: 978-3-540-04614-1
Verlag: Springer Berlin Heidelberg
Erscheinungstermin: 01.01.1969
Lieferfrist: bis zu 10 Tage

Springer Book Archives


Produkteigenschaften


  • Artikelnummer: 9783540046141
  • Medium: Buch
  • ISBN: 978-3-540-04614-1
  • Verlag: Springer Berlin Heidelberg
  • Erscheinungstermin: 01.01.1969
  • Sprache(n): Englisch
  • Auflage: 1969
  • Serie: Lecture Notes in Mathematics
  • Produktform: Kartoniert
  • Gewicht: 189 g
  • Seiten: 116
  • Format (B x H x T): 155 x 235 x 7 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Autoren

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.