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

Beth, Evert W.

Published by Dordrecht, D. Reidel Publishing, 1962

About this Item

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). Seller Inventory # 33349

Bibliographic Details

Title: Formal Methods. An introduction to symbolic ...

Publisher: Dordrecht, D. Reidel Publishing

Publication Date: 1962

Binding: Hardcover

Dust Jacket Condition: Dust Jacket Included