CANTINI, ANDREA

CANTINI, ANDREA  

Lettere e Filosofia  

Mostra records
Risultati 1 - 20 di 117 (tempo di esecuzione: 0.051 secondi).
Titolo Data di pubblicazione Autore(i) File
A fixed point theory over stratified truth 2020 Cantini, Andrea
A footnote to Appendix B of Russells' The Principles of Mathematics 2021 Andrea Cantini
A logic of abstraction related to finite constructive numberclasses 1991 A.Cantini
A note on a predicatively reducible theory of iterated elementary induction 1985 A. CANTINI
A note on the theory of admissible sets with epsilon-induction restricted to formulas with one quantifiers and related systems 1983 A. CANTINI
A note on three valued logic and Tarski's theorem on truthdefinitions 1980 A. Cantini
A proposito della logica: sul concetto d'inferenza 2006 A. CANTINI
A proposito di Filosofia e Matematica: dagli oggetti ideali alle dimostrazioni 2011 A. Cantini
A remark on dependent choice and comprehension principles in second order arithmetic 1984 A. Cantini
A theory of formal truth arithmetically equivalent to ID$_1$ 1990 A. CANTINI
About truth and types 2016 Cantini, Andrea
Adding choice and uniformity to weak applicative systems. 2002 A.Cantini
Asymmetric interpretation for bounded theories 1996 A. CANTINI
Bibliografia di Ettore Casari 2021 Cantini, Andrea ; Minari, Pierluigi
CHOICE AND UNIFORMITY IN WEAK APPLICATIVE THEORIES 2005 A. CANTINI
Christian, C.C., Ein Aequivalent zum 1. Unvollstaendigkeitssatz, Sitzungsber., Abt.II, Oesterr. Akad. Wiss., Math.-Naturwiss.Kl.205 (1996), 35-55 (1997) 1997 A.Cantini
Combinators and reflective truth 1992 A. Cantini
Conservativity of transitive closure over weak constructive operational set theory 2012 A.Cantini; L. Crosilla
Constructive Set Theory with operations 2008 A. Cantini; L.Crosilla
Elementary constructive operational set theory 2010 A. Cantini; L. Crosilla