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.
- ISBN10 1138466891
- ISBN13 9781138466890
- Publish Date 6 November 2017 (first published 22 December 1986)
- Publish Status Active
- Publish Country GB
- Publisher Taylor & Francis Ltd
- Imprint CRC Press
- Format Hardcover
- Pages 408
- Language English