Mathematical logic : a course with exercises
Başlık:
Mathematical logic : a course with exercises
ISBN:
9780198500483
9780198500490
Yazar:
Yayım Bilgisi:
İngiltere : Oxford University Press, 2000.
Fiziksel Açıklamalar:
c. ; 24 cm
Genel Not:
Kaynakça var.
c.1. Propositional calculus, Boolean algebras, predicate calculus -- c.2. Recursion theory, Gödel's theorems, set theory, model theory
Eser Fransızcadan İngilizceye çeviridir.
İçindekiler:
c.1. Propositional calculus, Boolean algebras, predicate calculus -- c.2. Recursion theory, Gödel's theorems, set theory, model theory
Dil:
Eser Fransızcadan İngilizceye çeviridir.
Başlık Ek Girişi:
Propositional calculus, Boolean algebras, predicate calculus
Recursion theory, Gödel's theorems, set theory, model theory