Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus

DOI10.1090/MEMO/0010zbMath1415.03008OpenAlexW2334139645MaRDI QIDQ5384794

Stephen C. Kleene

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

Mathematics Subject Classification ID

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)

Gödel on deduction

This page was built for publication: Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus