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

Kueker, David

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

Synopsis

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.

"synopsis" may belong to another edition of this title.

About the Author

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

"About this title" may belong to another edition of this title.

Publisher
CRC Press
Publication date
2017
Language
English
ISBN 10 
1138466891
ISBN 13 
9781138466890
Binding
Hardcover
Edition number
1
Number of pages
408

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  0824777468 ISBN 13:  9780824777463
Publisher: CRC Press, 1986
Softcover