<--- Back to Details
First PageDocument Content
Non-classical logic / Logic in computer science / Philosophical logic / Proof theory / Computability logic / Giorgi Japaridze / Cointerpretability / Weak interpretability / George Boolos / Logic / Mathematical logic / Mathematics
Date: 2014-03-25 12:26:15
Non-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) 61

Add to Reading List

Source URL: www.csc.villanova.edu

Download Document from Source Website

File Size: 514,13 KB

Share Document on Facebook

Similar Documents

Giorgi Japaridze  Curriculum Vitae CONTACT INFORMATION Address: Computing Sciences Department, Villanova University, 800 Lancaster Avenue, Villanova, PA 19085, USA. Email: [removed] Telephone: (1) 61

Giorgi Japaridze Curriculum Vitae CONTACT INFORMATION Address: Computing Sciences Department, Villanova University, 800 Lancaster Avenue, Villanova, PA 19085, USA. Email: [removed] Telephone: (1) 61

DocID: c6nK - View Document