scientific article; zbMATH DE number 7084936

From MaRDI portal

Publication:5224673

Jump to:navigation, search

zbMath1418.03021MaRDI QIDQ5224673

Danielle Macbeth

Publication date: 24 July 2019

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

diagrammatic reasoning mathematical logic formal proof mathematical reasoning mathematical notation mechanical reasoning machine reasoning

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5224673&oldid=19832793"