Gå direkt till innehållet
Mathematical Logic and Theoretical Computer Science
Spara

Mathematical Logic and Theoretical Computer Science

Lägsta pris på PriceRunner
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.
Författare
David Kueker
ISBN
9780824777463
Språk
Engelska
Vikt
725 gram
Utgivningsdatum
1986-12-22
Sidor
408