Vista normal Vista MARC Vista ISBD

Proof of the independence of the primitive symbols of Heyting's calculus of propositions

Mckinsey, J. C. C.

Proof of the independence of the primitive symbols of Heyting's calculus of propositions

The journal of symbolic logic. Vol. 4, Nº 4 December, 1939.

Subjects--Topical Terms:
Heyting, Arend, 1898-1980
Logica Matematica
Calculo

Imprimir
Citar
Agregar a su carrito (remover)
Guardar registro
BIBTEX Dublin Core MARCXML MARC (no-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Estándar) MODS (XML) RIS ISBD
Más búsquedas

Buscar este título en:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)