Recomienda este artículo a tus amigos:
Mathematical Logic and Theoretical Computer Science - Lecture Notes in Pure and Applied Mathematics David Kueker 1.º edición
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 22 de diciembre de 1986 |
| ISBN13 | 9780824777463 |
| Editores | Taylor & Francis Inc |
| Páginas | 408 |
| Dimensiones | 178 × 254 × 21 mm · 726 g |
| Lengua | Inglés |
| Editor | Kueker, David W. |
| Editor | Lopez-Escobar, Edgar G. K. |
| Editor | Smith, Carl H. |
Mas por David Kueker
Mostrar todoMere med samme udgiver
Ver todo de David Kueker ( Ej. Paperback Book y Hardcover Book )