Reviews matching “Completeness proofs for the intuitionistic sentential calculus”

1 result

BookAuthorReviewerJournalDate
Completeness proofs for the intuitionistic sentential calculus Dana Scott Gene F. Rose The Journal of Symbolic Logic 1960

Open this search with filters