Mathematical Logic and Theoretical Computer Science: 106 (Lecture Notes in Pure and Applied Mathematics) - Tapa blanda

Kueker, David

 
9780824777463: Mathematical Logic and Theoretical Computer Science: 106 (Lecture Notes in Pure and Applied Mathematics)

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

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

"Sobre este título" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9781138466890: Mathematical Logic and Theoretical Computer Science (Lecture Notes in Pure and Applied Mathematics)

Edición Destacada

ISBN 10:  1138466891 ISBN 13:  9781138466890
Editorial: CRC Press, 2017
Tapa dura