Extensional godel functional interpretation: a consistensy proof of classical analysis
Auteur :
Luckhardt, Horst
Éditeur :
Luckhardt, Horst
ISBN :
9783540061199
Date de publication :
9 janv. 1973
Dimensions :
23,4 x 15,6 x 0,9 cm
Poids :
550 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne