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

Libro 130 de 138: Lecture Notes in Pure and Applied Mathematics

Kueker, David

 
9781138466890: Mathematical Logic and Theoretical Computer Science (Lecture Notes in Pure and Applied Mathematics)
Tapa dura
ISBN 10: 1138466891 ISBN 13: 9781138466890
Editorial: CRC Press, 2017

Sinopsis

Mathematical Logic and Theoretical Computer Science covers various topics ranging from recursion theory to Zariski topoi. Leading international authorities discuss selected topics in a number of areas, including denotational semanitcs, reccuriosn theoretic aspects fo computer science, model theory and algebra, Automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic.

The most up-to-date review available in its field, Mathematical Logic and Theoretical Computer Science will be of interest to mathematical logicians, computer scientists, algebraists, algebraic geometers, differential geometers, differential topologists, and graduate students in mathematics and computer science.

"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.

Editorial
CRC Press
Año de publicación
2017
Idioma
Inglés
ISBN 10 
1138466891
ISBN 13 
9781138466890
Encuadernación
Tapa dura
Número de edición
1
Número de páginas
408
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  0824777468 ISBN 13:  9780824777463
Editorial: CRC Press, 1986
Tapa blanda