Completeness proofs for the intuitionistic sentential calculus

by Dana Scott · 1 review · 1960

Reviewed by Journal Date Access
Gene F. Rose The Journal of Symbolic Logic 1960 Restricted

Metaphysics & Logic

Also by Scott

Search PhilReviews for this title