Siirry suoraan sisältöön
Mathematical Logic and Theoretical Computer Science
Tallenna

Mathematical Logic and Theoretical Computer Science

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.
Kirjailija
David Kueker
ISBN
9780824777463
Kieli
englanti
Paino
725 grammaa
Julkaisupäivä
22.12.1986
Kustantaja
CRC Press Inc
Sivumäärä
408