The Carnap Manual

Preface

This is a guide to using Carnap for teaching and learning logic.

It’s still very much a work in progress. Please consider contributing!