Výsledky vyhledávání

1

Logika, algebry a grafy /

Autor Kolář, Josef, 1943-, Štěpánková, Olga, 1949-, Chytil, Michal, 1949-
Vydáno 1989

Kniha

2

Základy formální logiky /

Autor Janák, Vladimír, 1927-
Vydáno 1976

Kniha

3

Logika : učebnice pro právníky /

Autor Weinberger, Ota, 1919-2009, Zich, Otakar, 1908-1984
Vydáno 1964

Elektronická verze přístupná pouze pro studenty a pracovníky MU

Kniha

4

Logika /

Autor Kříž, Jaroslav
Vydáno 1974

Kniha

5

Logika : neúplnost, složitost a nutnost /

Autor Švejdar, Vítězslav, 1954-
Vydáno 2002

Kniha

6

Matematická logika /

Autor Bek, Roman, 1924-, Zlatník, Čeněk, 1937-2019
Vydáno 1981

Kniha

7

Spravočnaja kniga po matematičeskoj logike. Čast' IV, Teorija dokazatel'stv i konstruktivnaja matematika /

Vydáno 1983

Kniha

8

Matematická logika /

Autor Brabec, Jiří, 1930-
Vydáno 1980

Kniha

9

A teaching companion to Lemmon's beginning logic /

Autor Schumm, George F.
Vydáno 1979

Kniha

10

Logika

Autor Strach, Jiří
Vydáno 2007

Elektronická verze pro uživatele knihoven MU se specifickými nároky

Kniha

11

Identitní teorie predikace /

Autor Sousedík, Stanislav, 1931-
Vydáno 2006

Kniha

12

Straubingova-Thérienova hierarchie jazyků /

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

Získat plný text

VŠ práce nebo rukopis

13

Úvod do logiky: klasická predikátová logika /

Autor Raclavský, Jiří, 1974-
Vydáno 2015

Kniha

14

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

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

Elektronická verze ke stažení:

Kniha

15

Proofs and algorithms : an introduction to logic and computability /

Autor Dowek, Gilles, 1966-
Vydáno 2011

Kniha

16

Studentův průvodce kurzem Klasická logika /

Autor Číhalová, Martina, Roztočilová, Jana, Rybaříková, Zuzana, 1987-
Vydáno 2015

Kniha

17

The logic book /

Autor Bergmann, Merrie, Moor, James, 1942-, Nelson, Jack, 1944-
Vydáno 2014

Kniha

18

Logic and philosophy : a modern introduction /

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

Kniha

19

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

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

Kniha

20

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

Autor Glanc, Alois
Vydáno 1966

VŠ práce nebo rukopis

Upřesnit hledání