scientific article; zbMATH DE number 3209149
From MaRDI portal
zbMath0128.24101MaRDI QIDQ5336301
No author found.
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items
Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics, Some obstacles facing a semantic foundation for constructive mathematics, Theory construction in psychology: The interpretation and integration of psychological data, Reinflating the semantic approach, Verificationism and Classical Realizability, The creating subject, the Brouwer-Kripke schema, and infinite proofs, Rejoinder: ``Let's be imprecise in order to be precise (about what we don't know), Explaining Deductive Inference, Abstraction, Axiomatization and Rigor: Pasch and Hilbert, Knot wormholes in geometrodynamics?, European Summer Meeting of the Association for Symbolic Logic, Complex structures and composite models - An essay on methodology
