Mathematical Logic and Theoretical Computer Science
Knihu koupíte v
1 e-shopu
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku.
Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Krátký popis
This book includes articles on denotational semanitcs, recursion
theoretic aspects of computer science, model theory and algebra,
automath and automated reasoning, stability theory, topoi and
mathematics, and topoi and logic. It is intended for mathematical
logicians and computer scientists.
Zobrazit celý popis
Zobrazit celý popis
Výběr knih vydavatele
Taylor & Francis Inc
Zobrazit všechny knihy vydavatele
Taylor & Francis Inc
Naše tipy
