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

Beth, Evert W.

Edité par Dordrecht, D. Reidel Publishing, 1962

A propos de cet article

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 réf. du vendeur 33349

Détails bibliographiques

• Titre: Formal Methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic [Synthese Library]
• Éditeur: Dordrecht, D. Reidel Publishing
• Date de parution: 1962
• Reliure: Couverture rigide
• État de la jaquette: Jaquette
• Catalogues du vendeur:
  • Science (exact)