Mathematical Logic and Theoretical Computer Science PDF
by David Kueker
Part of the Lecture Notes in Pure and Applied Mathematics series
Description
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.
Information
-
Download - Immediately Available
- Format:PDF
- Pages:408 pages
- Publisher:Taylor & Francis Ltd
- Publication Date:22/12/2020
- Category:
- ISBN:9781000111514
Other Formats
- Hardback from £180.00
- EPUB from £225.00
- Paperback / softback from £250.00
Information
-
Download - Immediately Available
- Format:PDF
- Pages:408 pages
- Publisher:Taylor & Francis Ltd
- Publication Date:22/12/2020
- Category:
- ISBN:9781000111514