Výsledky
1 - 4
z
4
pro vyhledávání '
Girard, Jean-Yves, 1947-
'
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í
Filtr e-prezenčka
Autor
Girard, Jean-Yves, 1947-
Výsledky
1 - 4
z
4
pro vyhledávání '
Girard, Jean-Yves, 1947-
'
, doba hledání: 0,01 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Autor
Název
1
Proof theory and logical complexity. Volume I /
Autor
Girard
,
Jean
-
Yves
,
1947
-
Vydáno 1987
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
2
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
3
Proofs and types /
Autor
Girard
,
Jean
-
Yves
,
1947
-
,
Taylor, Paul
,
Lafont, Yves
Vydáno 1990
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
4
Proofs and types /
Autor
Girard
,
Jean
-
Yves
,
1947
-
,
Taylor, Paul
,
Lafont, Yves
Vydáno 1989
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í
Související témata
Počítačová věda. Výpočetní technika. Informační technologie
computer science
výpočetní technika
Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování
Matematika
matematická kybernetika
matematická logika
mathematical cybernetics
mathematical logic
proof theory
teorie důkazu
×
Načítá se...
