Completeness,compactness, and undercidability : an introduction to mathematical logic /
41
Main Author: | 343792 Manaster, Alfred B. |
---|---|
Format: | |
Published: |
Englewood Cliffs, New Jersey : Prentice Hall,
1975
|
Subjects: |
Similar Items
-
Mathematical logic /
by: 349455 Ponasse, Daniel
Published: (1973) -
The computational complexity of logical theories /
by: 366280 Ferrante, Jeanne, et al.
Published: (1979) -
Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (1964) -
Introduction to mathematical logic /
by: 341948 Mendelson, Elliott
Published: (1979) -
Introduction to mathematical logic /
Published: (2012)