bokomslag Principles of Intuitionism
Vetenskap & teknik

Principles of Intuitionism

Anne S Troelstra

Pocket

509:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 116 sidor
  • 1969
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.

  • Författare: Anne S Troelstra
  • Format: Pocket/Paperback
  • ISBN: 9783540046141
  • Språk: Engelska
  • Antal sidor: 116
  • Utgivningsdatum: 1969-01-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K