John C. Shepherdson
- Variants of Robinson's essentially undecidable theoryR
1983/12/01 by James P. Jones, J. C. Shepherdson, John C. Shepherdson · 1 citation
Mathematics · #Algebra over a field #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #Axiom #Bar (unit) #Combinatorics #Commutative Algebra and Its Applications #Decidability #Discrete mathematics #Geometry #Mathematics #Pure mathematics #Undecidable problem