There is a newer version of the record available.

Published June 5, 2024 | Version June 5, 2024
Book Restricted

Abstraction Logic: A New Foundation for Reasoning, Computing, and Understanding (Draft)

Authors/Creators

Description

This is the first book about abstraction logic. It presents abstraction logic in its most recent and comprehensive form, and supersedes all previous publications on abstraction logic.

Files

Restricted

The record is publicly accessible, but files are restricted to users with access.