Vue normale Vue MARC vue ISBD

Logique mathématique

20170516 frey50

= Paris

LCCN: 2-10-005453-8

Subjects--Corporate Names:
logique
recursivité
formalisation
théorie des ensembles
théorie des modèles
théorème de Gödel
axiome de peano

Réserver
Imprimer
Ajouter à mon panier (Supprimer)
Enregistrer la notice
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) RIS
Plus de recherches

Chercher ce titre dans :
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)