Mathematical Logic and Theoretical Computer Science
-
- £259.99
-
- £259.99
Publisher 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.
GENRE
Science & Nature
RELEASED
2020
22 December
LANGUAGE
EN
English
LENGTH
408
Pages
PUBLISHER
CRC Press
SIZE
12
MB
Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory
2019
Set Theory
2011
Standard Monomial Theory
2007
Positivity and its Applications
2021
Combinatorial Aspects of Commutative Algebra and Algebraic Geometry
2011
Singularities, Algebraic Geometry, Commutative Algebra, and Related Topics
2018