scientific article
From MaRDI portal
Publication:3069693
zbMath1205.15005MaRDI QIDQ3069693
Publication date: 19 January 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) Mechanization of proofs and logical operations (03B35) Collected or selected works; reprintings or translations of classics (01A75) History of linear algebra (15-03)
Related Items (9)
On functions and equations in distributive lattices ⋮ Completeness of category-based equational deduction ⋮ The Place and Value of Logic in Louis Couturat’s Philosophical Thinking ⋮ An Oxford survey of order sorted algebra ⋮ Universal algebraic methods for non-classical logics ⋮ L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction ⋮ Wiener on the logics of Russell and Schröder ⋮ Metalogic, Schopenhauer and Universal Logic ⋮ Unnamed Item
This page was built for publication:
