scientific article
From MaRDI portal
Publication:3849889
zbMath0113.00702MaRDI QIDQ3849889
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
A certified program for the Karatsuba method to multiply polynomials ⋮ On a machine-checked proof for fraction arithmetic over a GCD domain ⋮ Infinity and verifiability in Carnap's inductive logic ⋮ Pluralism in Logic: The Square of Opposition, Leibniz’ Principle of Sufficient Reason and Markov’s Principle ⋮ On a finitary version of mathematical analysis
This page was built for publication:
