Andrea Cantini Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Cantini: Extending constructive operational set theory by impredicative principles. Math. Log. Q. 57(3): 299-322 (2011)
2005
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Cantini: Remarks on applicative theories. Ann. Pure Appl. Logic 136(1-2): 91-115 (2005)
2004
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Cantini, Valentin Goranko: Nicholas Rescher, "Paradoxes: Their Roots, Range, and Resolution"; Patrick Blackburn, Maarten de Rijke and Yde Venema, "Modal Logic", Cambridge Tracts in Theoretical Computer Science Volume 53. Studia Logica 76(1): 135-142 (2004)
2003
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Cantini: The axiom of choice and combinatory logic. J. Symb. Log. 68(4): 1091-1108 (2003)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Cantini: The Undecidability of Grisin's Set Theory. Studia Logica 74(3): 345-368 (2003)
2002
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Cantini: Polytime, combinatory logic and positive safe induction. Arch. Math. Log. 41(2): 169-189 (2002)
2000
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Cantini: Feasible Operations and Applicative Theories Based on lambda-eta. Math. Log. Q. 46(3): 291-312 (2000)
1999
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Cantini, Pierluigi Minari: Uniform Inseparability in Explicit Mathematics. J. Symb. Log. 64(1): 313-326 (1999)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Cantini: Relating Quine's NF to Feferman`s EM. Studia Logica 62(2): 141-162 (1999)
1996
j5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Cantini: Asymmetric Interpretations for Bounded Theories. Math. Log. Q. 42: 270-288 (1996)
1995
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Cantini: Levels of Truth. Notre Dame Journal of Formal Logic 36(2): 185-213 (1995)
1993
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Cantini: Extending the First-Order Theory of Combinators with Self-Referential Truth. J. Symb. Log. 58(2): 477-513 (1993)
1990
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Cantini: A Theory of Formal Truth Arithmetically Equivalent to ID1. J. Symb. Log. 55(1): 244-259 (1990)
1986
j1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrea Cantini: On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic. J. Symb. Log. 51(2): 360-373 (1986)

Coauthor Index

1Valentin Goranko
[j12]
2Pierluigi Minari
[j7]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 03:03:28 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page