# Fundamentals of computability logic 2020

## TL;DR

This paper provides a comprehensive survey of computability logic, explaining its fundamental concepts and significance in the field of logic and computation.

## Contribution

It offers an accessible overview of computability logic, including its core principles and recent developments, serving as a foundational resource.

## Key findings

- Clarifies the core principles of computability logic
- Summarizes recent advancements in the field
- Provides an extended online resource for further study

## Abstract

This article is a semitutorial-style survey of computability logic. An extended online version of it is maintained at http://www.csc.villanova.edu/~japaridz/CL/ .