Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus
From MaRDI portal
Publication:5384794
DOI10.1090/MEMO/0010zbMath1415.03008OpenAlexW2334139645MaRDI QIDQ5384794
Publication date: 26 June 2019
Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/memo/0010
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) General logic (03Bxx)
Related Items (1)
This page was built for publication: Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus
