Completeness, compactness, and undecidability: an introduction to mathematical logic/

Manaster, Alfred B., 1938-

Completeness, compactness, and undecidability: an introduction to mathematical logic/ Alfred B. Manaster. - Englewood Cliffs, N.J.: Prentice-Hall, [1975]. - vi, 154 p. ; 24 cm.

Includes index.

Bibliography: p. 149-150.

0131646249 : $12.00

74022481


Logic, Symbolic and mathematical.
Predicate calculus

511.3 / M267c
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha