Zobrazuji výsledky
1 - 1
z
1
pro vyhledávání '
Kuzičev, A. S.
'
Přeskočit na obsah
cze
English
Čeština
Váš účet
Přihlásit se...
Vyhledávání v katalogu knihovny
|
Vyhledávání v e-zdrojích
Hledat
Pokročilé vyhledávání
Zobrazuji výsledky
1 - 1
z
1
pro vyhledávání '
Kuzičev, A. S.
'
Seřadit
Relevance
Podle data sestupně
Podle data vzestupně
Signatury
Autor
Název
1
Lambda-isčislenije : jego sintaksis i semantika
Autor:
Barendregt, H. P.
Rok: 1985
Umístění:
Načítá se...
Kniha
Načítá se...
Vyhledávací nástroje:
RSS
Upřesnit hledání
Typ dokumentu
Kniha
1
Předmětová hesla
logická syntax
1
logická sémantika
1
matematická logika
1
operátorový počet
1
Autor
Barendregt, H. P.
1
Kuzičev, A. S.
1
Minc, G. Je
1
Jazyk
ruština
1
Žánr
monografie
1
Dílčí knihovna
KSTP
1
Rok vydání
Od:
do:
×
Načítá se...