An Introduction to Mathematical Logic and Type Theory

Overview of attention for book

Cover of 'An Introduction to Mathematical Logic and Type Theory'

Table of Contents

Attention for Chapter 3: First-Order Logic

Altmetric Badge

Citations

dimensions_citation: 180 Dimensions

Readers on

mendeley: 2 Mendeley

Summary Dimensions citations

So far, Dimensions has found 180 publications that cite this research output.

180

The most recent citing publications are shown below. View all 180 publications that cite this research output on Dimensions.

Comparing Process Models Beyond Structural Equivalence

Book chapter (June 2024)

Propositional Type Theory of Indeterminacy

Article in Studia Logica (May 2024)

ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs

Book chapter (December 2023)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.