scientific article; zbMATH DE number 3606444
From MaRDI portal
Publication:4172041
zbMath0391.03018MaRDI QIDQ4172041
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General logic (03B99) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (3)
Some unpublished papers of Jean van Heijenoort ⋮ Herbrand's fundamental theorem in the eyes of Jean van Heijenoort ⋮ In defense of logical universalism: taking issue with Jean van Heijenoort
This page was built for publication:
