DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Computability logic
Computability logic
Giorgi Japaridze
Propositional Computability Logic I∗
Contribution of Warsaw Logicians to Computational Logic
Baltic International Yearbook of Cognition, Logic and Communication
Games and Logic
ON the SYSTEM CL12 of COMPUTABILITY LOGIC Contents
Historical Projects in Discrete Mathematics and Computer Science
Semantics of Information As Interactive Computation
Computability Logic გამოთვლადობის ლოგიკა Логика Вычислимости 可计算性逻辑 (Col)
Association for Symbolic Logic Business Office: ASL, Dept
Build Your Own Clarithmetic I: Setup and Completeness
Curriculum Vitæ JOHN PATTON BURGESS
Intuitionistic Computability Logic∗
From Truth to Computability Iଁ Giorgi Japaridze
In the Beginning Was Game Semantics
Computability Logic: a Formal Theory of Interaction
Open Problems in Computability Logic
Soundness and Completeness of the Cirquent Calculus System CL6 for Computability Logic
Top View
The Simplest Computability-Logic Completeness Proof
Logic Qualifying Exam Computability 1 Computability Logic Qualifying
Computability Logic
Many Concepts and Two Logics of Algorithmic Reduction
APA Newsletter on Philosophy and Computers, Vol. 18, No. 1
From Formulas to Cirquents in Computability Logic
Zbl 1201.03055 ¡ J