Výsledky vyhledávání

1

Matematická logika. 1 /

Autor Kopka, Jan, 1941-
Vydáno 1971

Kniha

2

Matematická logika pre začiatočnikov. 1 /

Autor Varga, Tamás, 1919-1987
Vydáno 1970

Kniha

3

Matematická logika pre začiatočnikov. II /

Autor Varga, Tamás, 1919-1987
Vydáno 1970

Kniha

4

Matematičeskaja logika /

Autor Jeršov, Jurij Leonidovič, 1940-, Paljutin, Jevgenij Andrejevič
Vydáno 1987

Kniha

5

Matematika a logika : retrospektiva a perspektivy /

Autor Kac, Mark, 1914-1984, Ulam, Stanislaw M., 1909-1984
Vydáno 1977

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

Kniha

6

Úvod do matematické logiky. Kapitola 0, Úvod /

Autor Church, Alonzo, 1903-1995
Vydáno 1977

Kniha

7

Modal'naja logika /

Autor Feys, Robert, 1889-1961
Vydáno 1974

Kniha

8

From a logical point of view : nine logico-philosophical essays /

Autor Quine, W. V. 1908-2000
Vydáno 1980

Kniha

9

Introduction to logic /

Autor Suppes, Patrick, 1922-2014
Vydáno 1957

Kniha

10

Logika pro humanistiku /

Autor Svatek, Jan, Dostálová, Ludmila, 1975-
Vydáno 2003

Kniha

11

$Obálka$

Une philosophie de savant : Henri Poincaré et la logique mathématique /

Autor Schmid, Anne-Françoise
Vydáno 1978

Kniha

12

Logik : eine Untersuchung der Prinzipen der Erkenntnis und der Methoden. Wissenschaftlicher Forschung : Drei Bände. II. Band, Logik der exakten Wissenschaften /

Autor Wundt, Wilhelm, 1832-1920
Vydáno 1920

Kniha

13

Labelled deductive systems. Volume 1 /

Autor Gabbay, Dov M., 1945-
Vydáno 1996

Kniha

14

Introduction to mathematical logic /

Autor Mendelson, Elliott, 1931-
Vydáno 1997

Kniha

15

Logik : eine Untersuchung der Prinzipen der Erkenntnis und der Methoden. Wissenschaftlicher Forschung : Drei Bände. I. Band, Allgemeine Logik und Erkenntnistheorie /

Autor Wundt, Wilhelm, 1832-1920
Vydáno 1919

Kniha

16

Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007 : Kaiserslautern, Germany, September 10-13, 2007 : proceedings /

Vydáno 2007

Kniha

17

Studia logica /

Vydáno 1961

Periodikum

18

Logic /

Autor Hodges, Wilfrid, 1941-
Vydáno 2001

Kniha

19

Introduction to logic /

Autor Suppes, Patrick, 1922-2014
Vydáno 1957

Kniha

20

Theorem proving in higher order logics : 21th International Conference, TPHOLs 2008 : Montreal, Canada, August 18-21, 2008 : proceedings /

Vydáno 2008

Kniha

Upřesnit hledání