Connections
propositional calculus
Entity
first-order logic
Entity
Springer Science+Business Media
Entity
combinatory logic
Entity
metatheorem
Entity
Hilbert system
Entity
conditional proof
Entity
New York City
City
International Standard Book Number
Entity
John von Neumann
Entity
digital object identifier
Entity
mathematical logic
Entity
empty set
Entity
Library of Congress Control Number
Entity
Hilbert space
Entity
University of Notre Dame
Entity
lambda calculus
Entity
tautology
Entity
Q22908627
Entity
Stephen Cole Kleene
Entity