Mathematical Logic and Theoretical Computer Science Lecture Notes in Pure and Applied Mathematics Series
Auteur : Kueker David
Date de parution : 11-2017
17.8x25.4 cm
Thème de Mathematical Logic and Theoretical Computer Science :
Mots-clés :
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