Description
Mathematical Logic and Theoretical Computer Science
Lecture Notes in Pure and Applied Mathematics Series
Author: Kueker David
Language: EnglishSubject for Mathematical Logic and Theoretical Computer Science:
Keywords
Theoretical Computer Science; Lambda Calculus; Oracle Machine; Grothendieck Topology; Left Adjoint; Infinite Subset; Church Rosser Property; Classifying Topos; Algebraic Closure; Natural Number; Type Theory; Topological Space; Primitive Recursive; Profinite Groups; Axiom Schema; Oracle Queries; Full Subcategory; Follow; Segment Variables; Minimal Normal Subgroup; Inductive Construction; Automating Mathematics; Higher Order Logic; Jacobson Radical; Choice Function
· 17.8x25.4 cm · Hardback
Description
/li>Contents
/li>Readership
/li>Biography
/li>