Search results
- Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn. Amsterdam ; Oxford : Elsevier, 2006 . xiv, 442 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Nová teorie důkazu a a komentovaný český překlad směrnice ENFSI pro znalecké hodnocení ve forenzních vědách / Tomáš Fürst, Halina Šimková, Jan Zimmer, Jana Fürstová. Praha : Leges, 2022 . 154 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci LF 2 0 0 0 0 0 PF 0 0 0 1 0 0 book
- Proof theory / Gaisi Takeuti. Mineola, New York : Dover Publications, Inc., 2013 . x, 490 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 2 0 0 book
- Stromata. VIII, (Liber logicus) / Klement Alexandrijský ; řecký text, překlad a poznámky k textu Matyáš Havrda. Rejstříky ke Stromatům I-VII / Veronika Černušková, Jana Plátová a Miroslav Šedina ve spolupráci s Radomírem Bužkem.. Praha : OIKOYMENH, 2017 . 212 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 1 0 0 0 0 Z 0 0 0 1 0 0 book
- Type theory and formal proof : an introduction / Rob Nederpelt, Herman Geuvers. Cambridge : Cambridge University Press, 2014 . xxv, 436 stran
http://web.flu.cas.cz/scan/323588278.pdfLok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
