Výsledky
1 - 6
z
6
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:"mathematical logic"
genre_facet:"papers of several authors"
Vyhledávání:
Výsledky
1 - 6
z
6
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
Handbook of proof theory /
Vydáno 1998
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
2
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
3
Logic in computer science II /
Vydáno 2015
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
4
The Cambridge companion to Frege /
Vydáno 2010
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
5
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
6
Thirty five years of automating mathematics /
Vydáno 2003
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: mathematical logic
Zrušit filtr
Žánr: papers of several authors
Knihovna
Filozofická fakulta
3
Přírodovědecká fakulta
3
Typ dokumentu
Kniha
6
Autor
Buss, Samuel R., 1957-
1
Ghilezan, Silvia, 1959-
1
Kamareddine, Fairouz D.
1
Mesiar, Radko, 1951-
1
Potter, Michael D.
1
Ricketts, Tom
1
více ...
Saminger-Platz, Susanne
1
Zobrazit vše ...
méně ...
Jazyk
Angličtina
5
Ruština
1
Doporučená témata
matematická logika
6
mathematical logic
Obecné úvahy o matematice
4
proof theory
2
set theory
2
teorie důkazu
2
více ...
teorie množin
2
Frege, Gottlob,
1
German philosophy
1
Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování
1
Moderní západní filozofie
1
computer science
1
filozofie jazyka
1
filozofové
1
formal languages
1
formal logic
1
formální jazyky
1
formální logika
1
fuzzy logic
1
fuzzy logika
1
fuzzy množiny
1
fuzzy sets
1
matematici
1
mathematicians
1
německá filozofie
1
philosophers
1
philosophy of language
1
počítačová věda
1
sense (philosophy)
1
smysl (filozofie)
1
Zobrazit vše ...
méně ...
Žánr
papers of several authors
sborníky
6
studie
3
studies
3
handbooks and manuals
1
jubilee books
1
více ...
jubilejní publikace
1
příručky
1
Zobrazit vše ...
méně ...
Období
1848-1925
1
19.-20. století
1
19th-20th centuries
1
Oblast
Germany
1
Německo
1
Rok vydání
Od:
do:
×
Načítá se...