scientific article; zbMATH DE number 6741937
From MaRDI portal
Publication:5271422
zbMath1366.03100MaRDI QIDQ5271422
No author found.
Publication date: 11 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (4)
Proof checking and logic programming ⋮ A semantic framework for proof evidence ⋮ Proof Checking and Logic Programming ⋮ The natural algorithmic approach of mixed trigonometric-polynomial problems
This page was built for publication:
