Intuitionism : an introduction
Başlık:
Intuitionism : an introduction
Yazar:
Heyting, A. (Arend), 1898-1980.
Yayın Bilgileri:
Amsterdam : North-Holland, 1956.
Fiziksel Tanımlama:
1 online resource (viii, 133 pages).
Seri:
Studies in Logic and the Foundations of Mathematics ; v. 17
Studies in logic and the foundations of mathematics ; v. 17.
İçerik:
Disputation -- Arithmetic -- Spreads and species -- Algebra -- Plane pointspecies -- Measure and integration -- Logic -- Controversial subjects.