Výsledky
1 - 7
z
7
pro vyhledávání '
'
Přeskočit na obsah
Váš názor
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ů
topic_facet:"arithmetic"
topic_facet:"mathematical logic"
Vyhledávání:
Výsledky
1 - 7
z
7
pro vyhledávání '
'
, doba hledání: 0,02 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Autor
Název
1
Neue Grundlagen der Logik, Arithmetik und Mengenlehre /
Autor
König, Julius
Vydáno 1914
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
2
Úplnost a neúplnost /
Autor
Gödel, Kurt, 1906-1978
Vydáno 2015
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
3
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
4
Pojmopis : formulový jazyk čistého myšlení po vzoru formulového jazyka aritmetiky /
Autor
Frege, Gottlob, 1848-1925
Vydáno 2012
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
5
Gödelova věta
Autor
Horák, Pavel, 1942-2023
Vydáno 1964
Umístění:
Načítá se...
VŠ práce nebo rukopis
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
6
Logická zkoumání ; Základy aritmetiky /
Autor
Frege, Gottlob, 1848-1925
Vydáno 2011
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
7
Logika : neúplnost, složitost a nutnost /
Autor
Švejdar, Vítězslav, 1954-
Vydáno 2002
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Odstranit filtry
Zrušit filtr
Doporučená témata: arithmetic
Zrušit filtr
Doporučená témata: mathematical logic
Knihovna
Filozofická fakulta
4
Přírodovědecká fakulta
4
Ekonomicko-správní fakulta
1
Fakulta informatiky
1
Typ dokumentu
Kniha
6
VŠ práce nebo rukopis
1
Autor
Frege, Gottlob, 1848-1925
2
Švejdar, Vítězslav, 1954-
2
Fiala, Jiří, 1939-2012
1
Gödel, Kurt, 1906-1978
1
Horák, Pavel, 1942-2023
1
Hořejš, Jiří, 1933-2001
1
více ...
Kennedy, Juliette, 1955-
1
Kossak, Roman, 1953-
1
König, Julius
1
Švandová, Blažena, 1945-
1
Zobrazit vše ...
méně ...
Jazyk
Čeština
5
Angličtina
1
Němčina
1
Doporučená témata
arithmetic
aritmetika
7
matematická logika
7
mathematical logic
Obecné úvahy o matematice
4
Logika
2
více ...
concept (logic)
2
formal logic
2
formální logika
2
pojem (logika)
2
algorithms
1
algoritmy
1
analytical philosophy
1
analytická filozofie
1
filozofie matematiky
1
function theory
1
logic
1
logika
1
matematika
1
mathematics
1
meaning (philosophy)
1
množiny
1
philosophy of mathematics
1
predicate calculus
1
predikátová logika
1
proof theory
1
propositional calculus
1
semantics
1
sense (philosophy)
1
set theory
1
Zobrazit vše ...
méně ...
Žánr
pojednání
3
essays
2
critical issues
1
diplomové práce
1
journal articles
1
komentovaná vydání
1
více ...
kritická vydání
1
master's theses
1
selected works
1
výbory
1
články
1
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
×
Načítá se...