Výsledky
1 - 20
z
25
pro vyhledávání '
'
Přeskočit na obsah
Váš účet
Odhlásit
Přihlášení
English
Informace o aktuálním provozu knihoven sledujte na jejich
stránkách
.
Vše
Název
Autor
Téma
ISBN/ISSN
Signatura
Čárový kód
Systémové číslo
Hledat
Pokročilé vyhledávání
Pokročilé vyhledávání
Zachovat současné nastavení filtrů
format:"Book"
topic_facet:"mathematical logic"
topic_facet:"teorie množin"
Vyhledávání:
Výsledky
1 - 20
z
25
pro vyhledávání '
'
, doba hledání: 0,03 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Autor
Název
1
Mass terms and model-theoretic semantics /
Autor
Bunt, H. C., 1944-
Vydáno 1985
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
2
Logika /
Autor
Kříž, Jaroslav
Vydáno 1974
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
3
Logika a teorie množin : (úvod do oboru) /
Autor
Fuchs, Eduard, 1942-
Vydáno 1978
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
4
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
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
5
Sets, logic and categories /
Autor
Cameron, Peter J. 1947-
Vydáno 1999
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
6
Spravočnaja kniga po matematičeskoj logike : v četyrech častjach. Čast' II, Teorija množestv /
Vydáno 1982
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
7
Úvod do finitní matematiky /
Autor
Kemeny, John G., 1926-1992
,
Snell, J. Laurie 1925-2011
,
Thompson, Gerald Luther, 1923-2009
Vydáno 1971
Umístění:
Načítá se...
Elektronická verze přístupná pouze pro studenty a pracovníky MU
Kniha
Do oblíbených
Uloženo v:
Jednotky
8
Úvod do matematické analýzy. I /
Autor
Apfelbeck, Alois, 1925-1992
Vydáno 1982
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
9
Zadači po teorii množestv, matematičeskoj logike i teorii algoritmov /
Autor
Lavrov, Igor' Andrejevič
,
Maksimova, Larisa L'vovna
Vydáno 1984
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
10
Issledovanija po neklassičeskim logikam i teorii množestv /
Vydáno 1979
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
11
Issledovanija po teorii množestv i neklassičeskim logikam /
Vydáno 1976
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
12
Fundamentals of mathematical logic /
Autor
Hinman, Peter G.
Vydáno 2005
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
13
Einführung in die Grundlagen der Mathematik : Theorie der Berechenbarkeit mathematische Logik Mengenlehre /
Autor
Deutsch, Michael, 1944-
Vydáno 1999
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
14
Elementy logiki matematycznej i teorii mnogości /
Autor
Słupecki, Jerzy, 1904-1987
,
Borkowski, Ludwik, 1914-1993
Vydáno 1963
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
15
An introduction to mathematical proofs /
Autor
Loehr, Nicholas A.
Vydáno 2020
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
16
Computation and reasoning : a type theory for computer science /
Autor
Luo, Zhaohui
Vydáno 1994
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
17
Handbook of the history of logic. Volume 6, Sets and extensions in the twentieth century /
Vydáno 2012
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
18
The structure of proof : with logic and set theory /
Autor
O'Leary, Michael L.
Vydáno 2002
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
19
On logical, algebraic, and probabilistic aspects of fuzzy set theory /
Vydáno 2016
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
20
Set theory, arithmetic, and foundations of mathematics : theorems, philosophies /
Vydáno 2011
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Odstranit filtry
Zrušit filtr
Typ dokumentu: Kniha
Zrušit filtr
Doporučená témata: mathematical logic
Zrušit filtr
Doporučená témata: teorie množin
Knihovna
Přírodovědecká fakulta
20
Filozofická fakulta
3
Fakulta informatiky
1
Knihovna univerzitního kampusu
1
Pedagogická fakulta
1
Typ dokumentu
Kniha
Autor
Apfelbeck, Alois, 1925-1992
1
Borkowski, Ludwik, 1914-1993
1
Bunt, H. C., 1944-
1
Bělík, Miroslav
1
Cameron, Peter J. 1947-
1
Cenzer, Douglas
1
více ...
Deutsch, Michael, 1944-
1
Fuchs, Eduard, 1942-
1
Gabbay, Dov M., 1945-
1
Grattan-Guinness, I., 1941-2014
1
Hinman, Peter G.
1
Jech, Tomáš, 1944-
1
Kanamori, Akihiro, 1948-
1
Kanovej, Vladimir Grigor'jevič, 1951-
1
Kemeny, John G., 1926-1992
1
Kennedy, Juliette, 1955-
1
Kossak, Roman, 1953-
1
Kunen, Kenneth, 1943-2020
1
Kříž, Jaroslav
1
Larson, Jean
1
Lavrov, Igor' Andrejevič
1
Loehr, Nicholas A.
1
Luo, Zhaohui
1
Maksimova, Larisa L'vovna
1
Mesiar, Radko, 1951-
1
Michajlov, Aleksandr Ivanovič, 1905-1988
1
O'Leary, Michael L.
1
Porter, Christopher
1
Růžička, Jaroslav, 1913-
1
Saminger-Platz, Susanne
1
Zobrazit vše ...
méně ...
Jazyk
Angličtina
14
Čeština
5
Ruština
4
Němčina
1
Polština
1
Doporučená témata
matematická logika
25
mathematical logic
set theory
25
teorie množin
Obecné úvahy o matematice
18
Matematika
2
více ...
dějiny matematiky
2
filozofie matematiky
2
history of mathematics
2
množiny
2
philosophy of mathematics
2
proof theory
2
sets (mathematics)
2
teorie důkazu
2
Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování
1
Lingvistika. Jazyky
1
Počítačová věda. Výpočetní technika. Informační technologie
1
algorithms
1
algoritmy
1
arithmetic
1
aritmetika
1
computability theory
1
computer science
1
fuzzy logic
1
fuzzy logika
1
fuzzy množiny
1
fuzzy sets
1
grammar
1
linear algebra
1
linear programming
1
Zobrazit vše ...
méně ...
Žánr
monografie
4
monographs
4
sborníky
3
textbooks (higher)
3
učebnice vysokých škol
3
vysokoškolská skripta
3
více ...
papers of several authors
2
collective monographs
1
college textbooks
1
handbooks and manuals
1
kolektivní monografie
1
příručky
1
sbírky úloh
1
studie
1
studies
1
učební texty
1
Zobrazit vše ...
méně ...
Období
19.-20. století
1
19th-20th centuries
1
Rok vydání
Od:
do:
×
Načítá se...