Number of the records: 1
Mathematical logic
Title statement Mathematical logic : a course with exercises. Part I, Propositional calculus, Boolean algebras, predicate calculus / René Cori and Daniel Lascar ; translated by Donald H. Pelletier Personal name Cori, René (author) Issue data Oxford : Oxford University Press, 2000 Phys.des. xix, 338 s. ISBN 0198500491 (váz.) Note Rejstř. Internal Bibliographies/Indexes Note Bibliogr. Another responsib. Lascar, Daniel, 1942- (author) Pelletier, Donald H. (translator) Subj. Headings Booleova algebra * matematická lingvistika mathematical linguistics * matematická logika mathematical logic UDC 510.6 , 510.635 , 512.56 , 519.76 Country Velká Británie Language angličtina Document kind Books Call number Barcode Location Sublocation Info M1/1737-1 (PřF) 3134014912 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1