Normal view MARC view ISBD view

SENTENCES UNDECIDABLE IN FORMALIZED ARITHMETIC. AN EXPOSITION OF THE THEORY OF KURT GOEDEL. / {A. Mostowski}

Publication :AMSTERDAM : NORTH-HOLLAND, 1964Description : 01 VOL.,125 P. : RF 25 ; 22 CMCollections : STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICSSujet : LOGIQUE ;DECIDABILITE ;FONCTION RECURSIVE Marque commerciale : RECURSIVELY ENUMERABLE SET ;INCOMPLETENESS THEOREM
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CC0216 Sur demande CRI00909D

NLD .

Powered by Koha

//]]>