Mathematical thought. An introduction to the philosophy of mathematics
From MaRDI portal
Publication:2526146
zbMath0154.00203MaRDI QIDQ2526146
Publication date: 1965
Published in: Synthese Library (Search for Journal in Brave)
Related Items
On the relative merits of path dissolution and the method of analytic tableaux ⋮ The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem ⋮ Identifiability of structural characteristics: how relevant is it for the Bayesian approach? ⋮ The classical model of science: a millennia-old model of scientific rationality ⋮ A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach ⋮ A near-optimal method for reasoning about action ⋮ Strategic Maneuvering in Mathematical Proofs ⋮ A first order logic for partial functions ⋮ Lewis Carroll's Formal Logic ⋮ The analytic-synthetic distinction and the classical model of science: Kant, Bolzano and Frege ⋮ Completeness of type assignment systems with intersection, union, and type quantifiers ⋮ ON THE SYNTAX OF LOGIC AND SET THEORY ⋮ Properties, propositions and sets ⋮ On nonmonotonic consequence relations ⋮ Rasiowa-Sikorski deduction systems in computer science applications. ⋮ A uniform procedure for converting matrix proofs into sequent-style systems
