Formal Methods: An Introduction to Symbolic Logic and the Study of Effective Operations in Arithmetic and Logic

Front Cover
D. Reidel Pub. Co., 1962 - Logic, Symbolic and mathematical - 170 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

FULL SENTENTIAL LOGIC
39
THEORY OF QUANTIFICATION EQUALITY
48
COMPLETENESS OF ELEMENTARY LOGIC
62
Copyright

24 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information