Search results
- RETRO-CATALOGUING - SHORT RECORD
100 úloh o množinách : úlohy k základům logiky a množinové algebry / Jaroslav Šedivý, Oldřich Odvárko. V Českých Budějovicích : Krajský pedagogický ústav, 1969 . 38 s. - P 1.483
Umístění:Branch Available Unavail. / In-house use only Loaned Reserved Place Lidická 0 0/2 0 0 - 9. výroční přednáška k poctě J.L. Fischera. V Olomouci : Univerzita Palackého, 2003 . 54 s. . ISBN 80-244-0704-3 - C 311.841
Umístění: 101 - Filozofie obecněBranch Available Unavail. / In-house use only Loaned Reserved Place Lidická příruční sklad 1 0/0 0 0 - Admodum Reverendi et Eximii Patris Joannis a. S. Thoma Ordinis Praedicatorum, Doctoris theologi in Complutensi Academia professoris primarii, supremi fidei censoris Cursus philosophicus thomisticus secundum exactam, veram et genuinam Aristotelis et Doctoris Angelici mentem. Tomus primus, Logica. Parisiis : Ludovicus Vivès, editor, 1883 . [4], ii, 750, [1] s. - 4RE 3.217/1
Umístění:Branch Available Unavail. / In-house use only Loaned Reserved Place Zlatá Koruna 0 0/1 0 0 - RETRO-CATALOGUING - SHORT RECORD
Advanced logic for applications / Richard E. Grandy. Dordrecht ; Boston : D. Reidel Publishing Company, 1977 . xi, 167 s. il. ; . ISBN 90-277-0781-2. ISBN 90-277-1034-1 - C 220.975
Umístění:Branch Available Unavail. / In-house use only Loaned Reserved Place Lidická 1 0/0 0 0 - RETRO-CATALOGUING - SHORT RECORD
Algebra combinatorics and logic in computer science. Vol. 2.. Amsterdam ; Oxford ; New York : North-Holland, 1986 . s. 451-887 . ISBN 0-444-87852-1. ISBN 963-80-2220-5 - C 252.462/2
Umístění:Branch Available Unavail. / In-house use only Loaned Reserved Place Lidická příruční sklad 1 0/0 0 0 - RETRO-CATALOGUING - SHORT RECORD
Algebra combinatorics and logic in computer science. Vol. 1.. Amsterdam ; Oxford ; New York : North-Holland, 1986 . 449 s. . ISBN 0-444-87758-4. ISBN 963-80-2219-1 - C 252.462/1
Umístění:Branch Available Unavail. / In-house use only Loaned Reserved Place Lidická příruční sklad 1 0/0 0 0 - RETRO-CATALOGUING - SHORT RECORD
Algebra i matematičeskaja logika : algebraičeskije issledovanija : mežvedomstvennyj sbornik. Kijev : Izdat. Kijevsk. univ., 1966 . 139 s. - C 60.352
Umístění:Branch Available Unavail. / In-house use only Loaned Reserved Place Lidická 1 0/0 0 0 - RETRO-CATALOGUING - SHORT RECORD
Algebraic Methods of Mathematical Logic / Ladislav Rieger ; translated [z čes. rukopisu do angl.] by Michal Basch ; preface M. Katětov. Prague : Academia, 1967 . 210 s. - C 61.141
Umístění:Branch Available Unavail. / In-house use only Loaned Reserved Place Lidická 1 0/0 0 0 - Allgemeine Logik und Erkenntnistheorie / von Wilhelm Wundt. Stuttgart : Enke, 1906 . xiv, 650 s. . ISBN (Váz.) - C 341.435
Umístění:Branch Available Unavail. / In-house use only Loaned Reserved Place Lidická 0 0/1 0 0