Foundational theories of classical and constructive mathematics

The book Foundational Theories of Classical and Constructive Mathematics is a book on the classical topic of foundations of mathematics. Its originality resides mainly in its treating at the same time foundations of classical and foundations of constructive mathematics. This confrontation of two kin...

Ful tanımlama

Detaylı Bibliyografya

Müşterek Yazar:	SpringerLink (Online service)
Diğer Yazarlar:	Sommaruga, Giovanni
Materyal Türü:	Electronic Resource
Dil:	English
Baskı/Yayın Bilgisi:	Dordrecht Springer Netherlands 2011.
Seri Bilgileri:	Western ontario series in philosophy of science 76
Konular:	Mathematics > Philosophy. Constructive mathematics > Philosophy. Electronic books.
Online Erişim:	Available for University of the Philippines Diliman via SpringerLink. Click here to access