Výsledky vyhledávání

1

Logické prvky ve školské matematice /

Autor Jelínek, Miloš, 1910-1993
Vydáno 1981

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

Kniha

2

Computability, enumerability, unsolvability : directions in recursion theory /

Vydáno 1996

Kniha

3

Definability and computability /

Autor Ershov, Yuri L.
Vydáno 1996

Kniha

4

Elementarnaja logika /

Autor Segeth, Wolfgang, 1934-
Vydáno 1985

Kniha

5

Elementary logic : a procedural perspective /

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

Kniha

6

Elementary Mathematics for Teachers /

Autor Devine, Donald F., Olson, Judith, Olson, Melfried
Vydáno 1990

Kniha

7

Elementary Statistics /

Vydáno 1989

Kniha

8

Mathematized humanities via humanized mathematics /

Autor Polák, Václav, 1932-1994
Vydáno 1992

Kniha

9

An outline of mathematical logic : fundamental results and notions explained with all details /

Autor Grzegorczyk, Andrzej, 1922-2014
Vydáno 1974

Kniha

10

The adventure of numbers /

Autor Godefroy, Gilles, 1953-
Vydáno 2004

Kniha

11

Neúplnost : důkaz a paradox Kurta Gödela /

Autor Goldstein, Rebecca, 1950-
Vydáno 2006

Kniha

12

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

13

A new theory of measurement: A study in the logic of mathematics /

Autor Wiener, Norbert, 1894-1964
Vydáno 1920

Kniha

14

Po zakonam logiki /

Autor Ivin, A.
Vydáno 1983

Kniha

15

Matematická logika - cvičení : prezentace ke kurzu MA 007 2005. 1. část, Výroková logika

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

Kniha

16

Matematická logika - cvičení : prezentace ke kurzu MA 007 2005. 2. část, Predikátová logika

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

Kniha

17

Matematická logika prezentace ke kurzu MA 007 2005. [Díl 1.] /

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

Kniha

18

Matematická logika prezentace ke kurzu MA 007 2005. [Díl 2.] /

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

Kniha

19

Izbrannyje trudy. Tom II, Matematičeskaja logika i obščaja teorija algebraičeskich sistem /

Autor Mal‘cev, Anatolij Ivanovič, 1909-1967
Vydáno 1976

Kniha

20

The search for mathematical roots 1870-1940 : logics, set theories and the foundations of mathematics from cantor through Russell to Gödel /

Autor Grattan-Guinness, I., 1941-2014
Vydáno 2000

Kniha

Upřesnit hledání