Completeness, cmpactness, and undecidability: an introduction to mathematical logic

Bibliografische gegevens
Hoofdauteur: Manaster, Alfred B
Formaat: Printed Book
Gepubliceerd in: New Jersey, Prentice Hall 1975
Onderwerpen:
Logic
Mathematical
Predicate Colculus
Symbolic

MG University

Exemplaargegevens van MG University
Plaatsingsnummer: 511.3 L5
Kopie Status is onbeschikbaar

Gelijkaardige items