Cantitate/Preț
Produs

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

Autor Anne S. Troelstra
en Limba Engleză Paperback – 1969

Din seria Lecture Notes in Mathematics

Preț: 26495 lei

Nou

Puncte Express: 397

Preț estimativ în valută:
5071 5285$ 4221£

Carte tipărită la comandă

Livrare economică 06-20 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540046141
ISBN-10: 3540046143
Pagini: 116
Ilustrații: IV, 116 p.
Dimensiuni: 216 x 279 x 6 mm
Greutate: 0.18 kg
Ediția:1969
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Mathematics

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.