David Kueker

Broschiertes Buch

Mathematical Logic and Theoretical Computer Science

Beschreibung

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.

Autor

David Kuekker is a professor of mathematics at the University of Maryland, College Park.

Produktdetails

• Verlag: CRC Press
• Seitenzahl: 408
• Erscheinungstermin: 22. Dezember 1986
• Englisch
• Abmessung: 254mm x 178mm x 22mm
• Gewicht: 764g
• ISBN-13: 9780824777463
• ISBN-10: 0824777468
• Artikelnr.: 21091537