The Frame Problem and the Semantics of Classical Proofs

by G. Graham White