Abstract

Basic Predicate Calculus is Sound with Respect to a Modified Version of Strictly Primitive Recursive Realizability

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call