Formal Methods. An Introduction to Symbolic Logic and to the Study of effective Operations in Arithmetic and Logic.

Beth, Ewert W.:

Published by Dordrecht, Reidel Publ., 1962

About this Item

170 S.; Ill. Ex.-Libr., Good condition. Cover with marks from removed label. Slightly faded spine. Sprache: Englisch Gewicht in Gramm: 575.

Seller Inventory # 834220

Bibliographic Details

• Title: Formal Methods. An Introduction to Symbolic Logic and to the Study of effective Operations in Arithmetic and Logic.
• Publisher: Dordrecht, Reidel Publ.
• Publication Date: 1962
• Language: English
• Binding: cloth
• Condition: Gut
• Seller catalogs:
  • Philosophie