Publication:3849889
From MaRDI portal
zbMath0113.00702MaRDI QIDQ3849889
Publication date: 1962
Related Items
Pluralism in Logic: The Square of Opposition, Leibniz’ Principle of Sufficient Reason and Markov’s Principle, On a finitary version of mathematical analysis, 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