Yazar
r r rockingham gill
2 cilt bulundu.
Cilt sonuçları
Deducibility and decidability
R. R. Rockingham Gill · Routledge
162 sayfa · 1990
Decidability (Mathematical logic) / Symbolic and mathematical Logic / Goedel's theorem / Logic, symbolic and mathematical / Logique symbolique et mathématique
Deducibility and Decidability
R. R. Rockingham Gill · Taylor & Francis Group
170 sayfa · 1990
Goedel's theorem / Logic, symbolic and mathematical / Decidability (mathematical logic)