Predicate calculus and metatheoretic concepts within a basic theory for the Foundations of Mathematics

zbMath0833.03003MaRDI QIDQ1901521

Giacomo Lenzi, Marco Forti, Vincenzo Maria Tortorelli, Ennio De Giorgi

Publication date: 17 March 1996

Published in: Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Serie IX. Rendiconti Lincei. Matematica e Applicazioni (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/244294

zbMATH Keywords

truthsemanticssyntaxfirst-order predicate calculusFoundations of Mathematicsinterpretations of first-order formulaemetaqualities

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30)

This page was built for publication: Predicate calculus and metatheoretic concepts within a basic theory for the Foundations of Mathematics