Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Overview of attention for book

Cover of 'Metamathematical Investigation of Intuitionistic Arithmetic and Analysis'

Table of Contents

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

blogs: 1 blog

twitter: 4 X users

Citations

dimensions_citation: 462 Dimensions

Summary Blogs X Dimensions citations

So far, Altmetric has seen 1 blog post.

Dialectica Categories in Computing

Logic ForAll, 24 Dec 2022

In the first half of the year we had an AMS Mathematical Research Community (MRC) on Applied Category Theory, in Beaver Hollow…

This page shows the most recent blog posts that mention this research output.

Click here to find out how to access more activity.