E-loan 3

Faculty of Science 227 Faculty of Arts 110 Faculty of Informatics 74 Faculty of Education 29 Faculty of Economics and Administration 27 Teiresias Centre 6 more ... Campus Library 5 Faculty of Social Studies 4 Faculty of Law 4 University Centre Telč 1 see all ... less ...

Book

Mendelson, Elliott, 1931- 7 Russell, Bertrand, 1872-1970 7 Church, Alonzo, 1903-1995 6 Kučera, Antonín, 1971- 6 Feferman, Solomon, 1928-2016 5 Frege, Gottlob, 1848-1925 5 more ... Hilbert, David, 1862-1943 5 Hodges, Wilfrid, 1941- 5 Smullyan, Raymond M., 1919-2017 5 Whitehead, Alfred North, 1861-1947 5 Asser, Günter, 1926-2015 4 Barwise, Jon, 1942-2000 4 Gabbay, Dov M., 1945- 4 Gödel, Kurt, 1906-1978 4 Kleene, Stephen Cole, 1909-1994 4 Sochor, Antonín, 1942-2008 4 Tarski, Alfred, 1902-1983 4 Von Plato, Jan, 1951- 4 Švejdar, Vítězslav, 1954- 4 Ackermann, Wilhelm Friedrich, 1896-1962 3 Barendregt, Henk 1947- 3 Bernays, Paul, 1888-1977 3 Bizám, György, 1922-2007 3 Coufal, Jan 3 Doxiadīs, Apostolos, 1953- 3 Enderton, Herbert B., 1936-2010 3 Flum, Jörg, 1944- 3 Hindley, J. Roger, 1939- 3 Kabakov, F. A., 1927-2008 3 Kac, Mark, 1914-1984 3 see all ... less ...

English 262 Czech 70 Russian 54 German 16 Slovak 7 French 6 more ... Polish 5 Greek 1 Romanian 1 see all ... less ...

mathematical logic matematická logika 423 Obecné úvahy o matematice 238 mathematics 54 matematika 52 logic 48 more ... logika 48 Matematika 46 Logika 41 computer science 26 symbolic logic 26 symbolická logika 26 set theory 25 teorie množin 25 filozofie matematiky 23 philosophy of mathematics 23 Počítačová věda. Výpočetní technika. Informační technologie 17 model theory 16 teorie modelů 16 počítačová věda 15 Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování 14 množiny 13 proof theory 13 sets (mathematics) 13 teorie důkazu 13 matematici 12 mathematicians 12 propositional calculus 12 výroková logika 12 Gödel, Kurt, 11 see all ... less ...

monografie 114 monographs 100 studie 31 collective monographs 21 kolektivní monografie 21 příručky 17 more ... učebnice vysokých škol 14 sborníky 13 studies 13 textbooks (higher) 13 sborníky konferencí 12 učebnice 12 vysokoškolská skripta 12 učební texty 9 handbooks and manuals 8 proceedings of conferences 7 textbooks 7 biografie 6 biography 6 papers of several authors 6 eseje 5 pojednání 4 přehledy 4 tactile books 4 taktilní knihy 4 college textbooks 3 e-prezenčka 3 essays 3 fiktivní biografie 3 imaginary biography 3 see all ... less ...

1906-1978 11 20. století 8 20th century 6 1872-1970 5 19.-20. století 5 19th-20th centuries 4 more ... 1848-1925 3 1902-1983 2 1889-1951 1 1909-1945 1 1912-1954 1 1923-1938 1 1939- 1 1948- 1 see all ... less ...

Rakousko 5 Austria 4 Spojené státy americké 4 Anglie 3 United States 3 England 2 more ... Germany 2 Německo 2 see all ... less ...