Výsledky vyhledávání

21

Logic and philosophy : a modern introduction /

Autor Hausman, Alan, 1936-, Kahane, Howard, 1928-2001, Tidman, Paul
Vydáno 2013

Kniha

22

Sémantiky programovacích jazyků. Grafická příloha /

Autor Kučera, Antonín, 1971-
Vydáno 2019

Elektronická verze ke stažení:

Kniha

23

Proofs and algorithms : an introduction to logic and computability /

Autor Dowek, Gilles, 1966-
Vydáno 2011

Kniha

24

Problém rozhodnutelnosti v predikátovém kalkulu I. stupně

Autor Glanc, Alois
Vydáno 1966

VŠ práce nebo rukopis

25

Od jazyka k logice : filozofický úvod do moderní logiky /

Autor Svoboda, Vladimír, 1960-, Peregrin, Jaroslav, 1957-
Vydáno 2009

Kniha

26

Paradoxes : a study in form and predication /

Autor Cargile, James
Vydáno 1979

Kniha

27

Úvod do logiky a logického programování. [1.-8. a cvičení 1-12]

Autor Popelínský, Lubomír
Vydáno 2007

Kniha

28

Higher-order logic and type theory /

Autor Bell, J. L. 1945-
Vydáno 2022

Kniha

29

Logika : prakticky, stručně a věcně : prostudenty pedagogiky a sociální práce /

Autor Waleczek Zotyková, Lucie
Vydáno 2022

Kniha

30

Logic and philosophy : a modern introduction /

Autor Hausman, Alan, 1936-, Boardman, Frank, Kahane, Howard, 1928-2001
Vydáno 2020

Kniha

31

Straubingova-Thérienova hierarchie jazyků /

Autor Volaříková, Jana
Vydáno 2015

Získat plný text

VŠ práce nebo rukopis

32

Relations and predicates /

Vydáno 2004

Kniha

Upřesnit hledání