A comprehensive index of philosophy book reviews

Reviews matching “Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predikatov”

1 result

BookAuthorReviewerJournalDate
Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predikatov G E Mints J Van Heijenoort The Journal of Symbolic Logic 1971-09-01

Open this search with filters