Yazar
alfred b manaster
1 cilt bulundu.
Cilt sonuçları
Completeness, compactness, and undecidability
Alfred B. Manaster · Prentice-Hall
154 sayfa · 1975
Predicate calculus / Symbolic and mathematical Logic / Calculus, history / Logic, symbolic and mathematical