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í
Filtr e-prezenčka
Doporučená témata
Seřadit podle
Počet výsledků
Abecedně
Obecné úvahy o matematice
1
algorithms
1
algoritmy
1
computability theory
1
matematické důkazy
1
mathematical proofs
1
predicate calculus
1
predikátová logika
teorie vyčíslitelnosti
1
zavřít
×
Načítá se...