↓ Skip to main content

An Introduction to Mathematical Logic and Type Theory

Overview of attention for book
Attention for Chapter 1: Introduction
Altmetric Badge

Citations

dimensions_citation
180 Dimensions