Formal Methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic [Synthese Library]

Descripción

cloth, dustjacket, 8vo xiv+170 pp. implicationallogic; sentential logic; completeness of elementary logic; formalization of arithmetic; in machines which prove theorems; very good condition (almost unused, stamp 'archief E.W. Beth' on dustjacket).

N° de ref. del artículo 33349

Contactar al vendedor

Denunciar este artículo

Detalles bibliográficos

Título

Formal Methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic [Synthese Library]

Editor

Dordrecht, D. Reidel Publishing

Fecha de publicación

1962

Encuadernación

Encuadernación de tapa dura

Estado de la sobrecubierta

Sobrecubierta no Incluida

Catálogos de vendedores

• Science (exact)