Login / Signup
A proof of the Löwenheim-Skolem theorem.
George Boolos
Published in:
Notre Dame J. Formal Log. (1970)
Keyphrases
</>
interactive theorem proving
first order logic
theorem prover
theorem proving
von neumann
neural network
data sets
information retrieval
geometry theorem proving
real time
machine learning
search algorithm
medical images
linear logic
automated theorem proving
intuitionistic logic