Výsledky
21 - 26
z
26
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:"proof theory"
format:"Book"
Vyhledávání:
Výsledky
21 - 26
z
26
pro vyhledávání '
'
, doba hledání: 0,01 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Autor
Název
21
Proof theory /
Autor
Takeuti, Gaisi, 1926-2017
Vydáno 2013
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
22
Three views of logic : mathematics, philosophy, and computer science /
Autor
Loveland, Donald W.
,
Hodel, Richard E.
,
Sterrett, S. G.
Vydáno 2014
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
23
Burden of proof, presumption and argumentation /
Autor
Walton, Douglas N., 1942-
Vydáno 2014
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
24
The blind spot : lectures on logic /
Autor
Girard, Jean-Yves, 1947-
Vydáno 2011
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
25
Proof-theoretic semantics /
Autor
Francez, Nissim, 1944-
Vydáno 2015
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
26
Proven impossible : elementary proofs of profound impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More /
Autor
Gusfield, Dan, 1951-
Vydáno 2024
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
[1]
« Předchozí
1
2
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: proof theory
Zrušit filtr
Typ dokumentu: Kniha
Knihovna
Filozofická fakulta
19
Přírodovědecká fakulta
5
Fakulta informatiky
4
Knihovna univerzitního kampusu
1
Právnická fakulta
1
Typ dokumentu
Kniha
Autor
Kamareddine, Fairouz D.
2
Nederpelt, Rob
2
Negri, Sara, 1967-
2
Von Plato, Jan, 1951-
2
Brown, Chad E.
1
Buss, Samuel R., 1957-
1
více ...
Clote, Peter, 1951-
1
Francez, Nissim, 1944-
1
Fürst, Tomáš, 1978-
1
Fürstová, Jana
1
Galvan, Sergio, 1946-
1
Geuvers, Herman, 1964-
1
Girard, Jean-Yves, 1947-
1
Gusfield, Dan, 1951-
1
Gödel, Kurt, 1906-1978
1
Hedman, Shawn
1
Hodel, Richard E.
1
Indrzejczak, Andrzej
1
Kohlenbach, Ulrich
1
Krajíček, Jan, 1946-
1
Loehr, Nicholas A.
1
Loveland, Donald W.
1
Mancosu, Paolo, 1960-
1
O'Leary, Michael L.
1
Ono, Hiroakira, 1942-
1
Scott, Dana S., 1932-
1
Sterrett, S. G.
1
Sørensen, Morten Heine B. 1968-
1
Takeuti, Gaisi, 1926-2017
1
Urzyczyn, Pawel
1
Zobrazit vše ...
méně ...
Jazyk
Angličtina
25
Čeština
2
Doporučená témata
proof theory
teorie důkazu
26
matematická logika
13
mathematical logic
13
Obecné úvahy o matematice
12
Logika
8
více ...
matematické důkazy
3
mathematical proofs
3
Matematika
2
arithmetic
2
aritmetika
2
logic
2
logika
2
modal logic
2
modální logika
2
set theory
2
teorie množin
2
Bayesian theory
1
Bayesova teorie
1
Občanské soudní řízení. Soudnictví
1
Swedish philosophy
1
Teorie čísel
1
Trestní právo
1
algebra
1
algebraic logic
1
algebraická logika
1
approximation theory
1
artificial intelligence
1
computability theory
1
computer science
1
Zobrazit vše ...
méně ...
Žánr
monografie
8
monographs
7
učebnice vysokých škol
5
collective monographs
4
kolektivní monografie
4
studie
4
více ...
textbooks (higher)
4
handbooks and manuals
3
papers of several authors
3
příručky
3
sborníky
3
studies
3
by-laws
1
commentaries
1
critical issues
1
educational texts
1
essays
1
jubilee books
1
jubilejní publikace
1
komentáře
1
kritická vydání
1
pojednání
1
směrnice
1
textbooks
1
učebnice
1
učební texty
1
Zobrazit vše ...
méně ...
Období
20.-21. století
1
20th-21st centuries
1
Rok vydání
Od:
do:
×
Načítá se...