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

other_versions_link
Bibliographische Detailangaben
1. Verfasser: Manaster, Alfred B.
Format: Printed Book
Sprache:English
Veröffentlicht: Englewood Cliffs, N.J. : Prentice-Hall, [1975]
Schlagworte:
Logic, Symbolic and mathematical.
Predicate calculus.

University of Calicut

Bestandesangaben von University of Calicut
Signatur: 511/.3 MAN/C
Exemplar Live-Status nicht verfügbar

Ähnliche Einträge