Mathematical Logic and Theoretical Computer Science
Regular price
€248.00
A01=David Kueker
Algebraic Closure
Author_David Kueker
Automating Mathematics
Axiom Schema
Category=PBCH
Choice Function
Church Rosser Property
Classifying Topos
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Follow
Full Subcategory
Grothendieck Topology
Higher Order Logic
Inductive Construction
Infinite Subset
Jacobson Radical
Lambda Calculus
Left Adjoint
Minimal Normal Subgroup
Natural Number
Oracle Machine
Oracle Queries
Primitive Recursive
Profinite Groups
Segment Variables
Theoretical Computer Science
Topological Space
Type Theory
Product details
- ISBN 9781138466890
- Weight: 910g
- Dimensions: 178 x 254mm
- Publication Date: 06 Nov 2017
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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.
David Kuekker is a professor of mathematics at the University of Maryland, College Park.
