Advanced logic for applications

Front Cover
D. Reidel Pub. Co., 1977 - Mathematics - 167 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

Godels Second Incompleteness Theorem
72
Second Order Logic
116
Algebraic Logic
131
Copyright

3 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information