Tell your friends about this item:
Mathematical Logic and Theoretical Computer Science - Lecture Notes in Pure and Applied Mathematics David Kueker 1st edition
Mathematical Logic and Theoretical Computer Science - Lecture Notes in Pure and Applied Mathematics
David Kueker
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.
408 pages, 1, black & white illustrations
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | December 22, 1986 |
| ISBN13 | 9780824777463 |
| Publishers | Taylor & Francis Inc |
| Pages | 408 |
| Dimensions | 178 × 254 × 21 mm · 726 g |
| Language | English |
| Editor | Kueker, David W. |
| Editor | Lopez-Escobar, Edgar G. K. |
| Editor | Smith, Carl H. |
More by David Kueker
Show allMere med samme udgiver
See all of David Kueker ( e.g. Paperback Book and Hardcover Book )