A New Proof of a Theorem of Shelah.

John W. Rosenthal

Published in: J. Symb. Log. (1972)

Keyphrases

interactive theorem proving
theorem proving
databases
theorem prover
von neumann
linear logic
data sets
search engine
three dimensional
learning environment
fixed point
heavy traffic limit