scientific article
From MaRDI portal
Publication:2908274
zbMath1250.68110MaRDI QIDQ2908274
Publication date: 4 September 2012
Full work available at URL: http://www.m-hikari.com/ams/ams-2012/ams-13-16-2012/index.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Philosophical and critical aspects of logic and foundations (03A05) Algorithms with automatic result verification (65G20) Other constructive mathematics (03F65) Proof theory in general (including proof-theoretic semantics) (03F03)
Uses Software
This page was built for publication:
