Completeness, compactness, and undecidability View on Open Library

Completeness, compactness, and undecidability

by Alfred B. Manaster

No reviews yet
First published: 1975 1 language ISBN: 0131646249
Subjects
Predicate calculus Symbolic and mathematical Logic Calculus, history Logic, symbolic and mathematical

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

You Might Also Like

More in Predicate calculus
Beginning logic

Beginning logic

E. J. Lemmon
Two papers on the predicate calculus

Two papers on the predicate calculus

Stephen Cole Kleene
Technical Methods In Philosophy

Technical Methods In Philosophy

John Pollock
Büchi's monadic second order successor arithmetic

Büchi's monadic second order successor ...

Dirk Siefkes
Elements of Deductive Inference

Elements of Deductive Inference

Joseph Bessie
Subsystems of second-order arithmetic

Subsystems of second-order arithmetic

Stephen G. Simpson