Memoirs of a proof theorist Gödel and other logicians /

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Takeuti, Gaisi, 1926-
Institutionell upphovsman: ebrary, Inc
Materialtyp: Elektronisk E-bok
Språk:engelska
japanska
Publicerad: River Edge, NJ : World Scientific, c2003.
Upplaga:[Rev. ed.].
Ämnen:
Länkar:An electronic book accessible through the World Wide Web; click to view
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!