DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Giorgi Japaridze
Giorgi Japaridze
Giorgi Japaridze
Propositional Computability Logic I∗
Towards a Theory of Proofs of Classical Logic Lutz Straßburger
Baltic International Yearbook of Cognition, Logic and Communication
Computability Logic
Computability Logic გამოთვლადობის ლოგიკა Логика Вычислимости 可计算性逻辑 (Col)
Intuitionistic Computability Logic∗
Mathematical Modal Logic: a View of Its Evolution
{PDF EPUB} Provability, Computability and Reflection, Volume 5 (Studies in Logic and the Foundations of Mathematics) by Lev D
Topological Completeness of the Provability Logic GLP
Models of the Polymodal Provability Logic
Deep-Inference Publications
Top View