Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Número de Cutter-SanbornM916sEntrada «Mosto» → 916 · marca de obra “s”

Sentences undecidable in formalized arithmetic

an exposition of the theory of Kurt Gödel.

Materias

Sentences undecidable in formalized arithmetic (1982)
Greenwood Press · inglés
Sentences undecidable in formalized arithmetic (1964)
North-Holland Pub. Co. · inglés

Sentences undecidable in formalized arithmetic — Andrzej Mostowski | Cutter Number

North-Holland Pub. Co. · inglés

North-Holland Pub. Co. · inglés

Elsevier Science & Technology Books · inglés · ISBN 9781483275123

1968