Jump to main content

yr 〜
yr

Search results 3

Mathematical logic : a course with exercises

Mathematical logic : a course with exercises
Paper図書
René Cori and Daniel Lascar ; translated by Donald H. PelletierOxford University Press2000-
Other Libraries in Japan

Recursion theory, Gödel's theorems, set theory, model theory : hbk : pbk

Recursion theory, Gödel's theorems, set theory, model theory : hbk : pbk
Paper図書
René Cori and Daniel Lascar ; translated by Donald H. PelletierOxford University Press2001
Other Libraries in Japan
  • Related MaterialMathematical logic : a course with exercises
  • Periodical TitleMathematical logic : a course with exercises

Propositional calculus, Boolean algebras, predicate calculus : hbk : pbk

Propositional calculus, Boolean algebras, predicate calculus : hbk : pbk
Paper図書
René Cori and Daniel Lascar ; translated by Donald H. PelletierOxford University Press2000
Other Libraries in Japan
  • Related MaterialMathematical logic : a course with exercises
  • Periodical TitleMathematical logic : a course with exercises

Reached to the end of result.

RSS