Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predikatov

by G E Mints · 1 review · 1971

Metaphysics & Logic

Also by Mints

• A short introduction to modal logic (1 review)
• Games, Logic, and Constructive Sets (CSLI Lecture Notes, Vol. 161) (1 review)

Search PhilReviews for this title