Mathematical logic

@inproceedings{Shoenfield1967MathematicalL,
  title={Mathematical logic},
  author={J. Shoenfield},
  year={1967}
}
  • J. Shoenfield
  • Published 1967
  • Computer Science
  • 1,896 Citations
    Homogeneous and strictly homogeneous criteria for partial structures
    • B. A. Romov
    • Computer Science, Mathematics
    • Discret. Appl. Math.
    • 2009
    • 3
    • Highly Influenced
    Unifying Foundations – to be Seen in the Phenomenon of Language
    • 4
    • Highly Influenced
    • PDF
    Linear superposition as a core theorem of quantum empiricism
    • 4
    • Highly Influenced
    • PDF
    Proceedings of the Workshop on Formal Ontology for Communicating Agents
    • Highly Influenced
    Intentional Gaps In Mathematical Proofs
    • D. Fallis
    • Philosophy, Computer Science
    • Synthese
    • 2004
    • 54
    • Highly Influenced
    Extracting Herbrand Disjunctions by Functional Interpretation
    • 2
    • Highly Influenced
    Computing Stable Models of Normal Logic Programs Without Grounding
    • 22
    • Highly Influenced
    • PDF
    Spector’s Proof of the Consistency of Analysis
    • 3
    • Highly Influenced
    • PDF
    The Theory of a Real Closed Field and its Algebraic Closure
    • Highly Influenced
    • PDF