Metamathematical investigation of intuitionistic arithmetic and analysis / [by] A.S. Troelstra (ed.).

İsim	Metamathematical investigation of intuitionistic arithmetic and analysis / [by] A.S. Troelstra (ed.).
Basım Tarihi:	1973
Basım Yeri	Berlin ; New York - Springer, 1973.
Konu	Intuitionistic mathematics, Proof theory, Model theory
Tür	Kitap
Dil	Arapça
Dijital	Hayır
Yazma	Hayır
Sayfa Sayısı	486
Fiziksel Boyutlar	24 cm
Kütüphane:	The Institute for Advanced Study (IAS)
Kayıt Numarası	3100001~!101185~!4079
Lokasyon	Math-NS Periodicals
Tarih	1973
Notlar	Bibliography: p. [462]-475.. xvii, 486 p. : ill. ; 24 cm.. SHELVED WITH PERIODICALS UNDER: Lecture notes in mathematics. v.344
ISBN	0387064915 (New York), 9780387064918 (New York)
Seri	Lecture notes in mathematics (Springer-Verlag) 344.