Über die Bausteine der mathematischen Logik

@article{SchnfinkelberDB,
  title={{\"U}ber die Bausteine der mathematischen Logik},
  author={M. Sch{\"o}nfinkel},
  journal={Mathematische Annalen},
  volume={92},
  pages={305-316}
}
  • M. Schönfinkel
  • Mathematics
  • Mathematische Annalen
  • 418 Citations
    Extensional realizability for intuitionistic set theory
    • Highly Influenced
    • PDF
    Reinforcement learning of minimalist grammars
    • Highly Influenced
    • PDF
    Representation of Compositional Relational Programs
    • 2
    • Highly Influenced
    • PDF
    First-Order Logic Without Bound Variables: Compositional Semantics
    • Highly Influenced
    • PDF
    Monsters and communication: The semantics of contextual shifting and sensitivity
    • 10
    • Highly Influenced
    • PDF
    Quantification without variables in connectionism
    • Highly Influenced
    La logique combinatoire : logique de l'objet quelconque ou logique de l'opérateur ?
    • 2
    • Highly Influenced
    • PDF
    Between Russell and Hilbert: Behmann on the foundations of mathematics
    • 27
    • Highly Influenced
    • PDF
    Some Improvements to Turner's Algorithm for Bracket Abstraction
    • M. Bunder
    • Mathematics, Computer Science
    • J. Symb. Log.
    • 1990
    • 10
    • Highly Influenced
    • PDF
    Introduction to Functional Programming
    • Highly Influenced
    • PDF