Mathematical Logic and Theoretical Computer Science

Kueker, David

ISBN 10: 1138466891 / ISBN 13: 9781138466890

Published by CRC Press, 2017

About this Item

Seller Inventory # 18375468958

Bibliographic Details

• Title: Mathematical Logic and Theoretical Computer Science
• Publisher: CRC Press
• Publication Date: 2017
• Language: English
• ISBN 10: 1138466891
• ISBN 13: 9781138466890
• Binding: Hardcover
• Condition: New

About this title

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.

About the Author

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