![Non-classical logic / Logic in computer science / Philosophical logic / Proof theory / Computability logic / Giorgi Japaridze / Cointerpretability / Weak interpretability / George Boolos / Logic / Mathematical logic / Mathematics Non-classical logic / Logic in computer science / Philosophical logic / Proof theory / Computability logic / Giorgi Japaridze / Cointerpretability / Weak interpretability / George Boolos / Logic / Mathematical logic / Mathematics](https://www.pdfsearch.io/img/4d6ba1a23128d393737ef10476cb6410.jpg) Date: 2014-03-25 12:26:15Non-classical logic Logic in computer science Philosophical logic Proof theory Computability logic Giorgi Japaridze Cointerpretability Weak interpretability George Boolos Logic Mathematical logic Mathematics | | Giorgi Japaridze Curriculum Vitae CONTACT INFORMATION Address: Computing Sciences Department, Villanova University, 800 Lancaster Avenue, Villanova, PA 19085, USA. Email: [removed] Telephone: (1) 61Add to Reading ListSource URL: www.csc.villanova.eduDownload Document from Source Website File Size: 514,13 KBShare Document on Facebook
|