Mathematical Logic and Theoretical Computer Science
Regular price
€353.40
14 days return policy
Shipping & Delivery
A01=David Kueker
advanced mathematical logic research
Algebraic Closure
Author_David Kueker
automated reasoning systems
Automating Mathematics
Axiom Schema
category theory methods
Category=PBCD
Choice Function
Church Rosser Property
Classifying Topos
denotational semantics
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Follow
Full Subcategory
Grothendieck Topology
Higher Order Logic
Inductive Construction
Infinite Subset
intuitionistic logic
Jacobson Radical
Lambda Calculus
Left Adjoint
Minimal Normal Subgroup
model theory applications
Natural Number
Oracle Machine
Oracle Queries
Primitive Recursive
Profinite Groups
recursion theory
Segment Variables
Theoretical Computer Science
Topological Space
Type Theory
Product details
- ISBN 9780824777463
- Weight: 725g
- Dimensions: 178 x 254mm
- Publication Date: 22 Dec 1986
- Publisher: Taylor & Francis Inc
- Publication City/Country: US
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
This book includes articles on denotational semanitcs, recursion theoretic aspects of computer science, model theory and algebra, automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic. It is intended for mathematical logicians and computer scientists.
David Kuekker is a professor of mathematics at the University of Maryland, College Park.
