SENTENCES UNDECIDABLE IN FORMALIZED ARITHMETIC. AN EXPOSITION OF THE THEORY OF KURT GOEDEL. (Record no. 116898)

099 ## - Informations locales
date creation notice (koha) 2009-07-20
date modification notice (koha) 2017-09-19
100 ## - données générales de traitement
données générales de traitement 19980407d1964 k y frey50103
200 1# - titre
Titre propre SENTENCES UNDECIDABLE IN FORMALIZED ARITHMETIC. AN EXPOSITION OF THE THEORY OF KURT GOEDEL.
Auteur principal {A. Mostowski}
210 ## - éditeur
Lieu de publication AMSTERDAM
Nom de l'éditeur NORTH-HOLLAND
Date de publication 1964
215 ## - description
Caractéristiques matérielles 01 VOL.,125 P.
Autres caractéristiques RF 25
Format 22 CM
225 ## - collection
titre de la collection STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS
300 ## - note
texte de la note NLD .
419 1# - collection
titre STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS
610 ## - sujets
sujet LOGIQUE
610 ## - sujets
sujet DECIDABILITE
610 ## - sujets
sujet FONCTION RECURSIVE
616 ## -
-- RECURSIVELY ENUMERABLE SET
616 ## -
-- INCOMPLETENESS THEOREM
709 ## - Nom de personne
élément d'entrée MOSTOWSKI
partie du nom autre que l'élément d';entrée A.
909 ## - Type de document
Type de document Congrès
CAT_DOC TL
-- Publication en Série
995 ## - Exemplaires
-- EM AI CC0216
Holdings
Perdu Site d'origine Localisation cote Statut de l'exemplaire Propri
Présent Centre de recherche en informatique Centre de recherche en informatique EM AI CC0216 Sur demande Centre de Recherche en Informatique

Powered by Koha

//]]>