Mathematical logic : a course with exercises
Cori, Rene/ Rascar, Daniel
Mathematical logic : a course with exercises - New York Oxford University Press 2000 - 331
0-19-850050-5
Logic, symbolic and mathematical
QA 9 C742513 2000
Mathematical logic : a course with exercises - New York Oxford University Press 2000 - 331
0-19-850050-5
Logic, symbolic and mathematical
QA 9 C742513 2000