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.
| ISBN-13: | 9780824777463 |
| ISBN-10: | 0824777468 |
| Publisher: | CRC Press |
| Publication date: | 1986-12-22 |
| Edition description: | 1 |
| Pages: | 408 |
| Product dimensions: | Height: 10 Inches, Length: 7 Inches, Weight: 1.5983513995 Pounds, Width: 0.92 Inches |
| Author: | Kueker |
| Language: | en |
| Binding: | Paperback |
Discover more books in the same category
Be the first to review this book!
