Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 5018200 - MaRDI portal

scientific article; zbMATH DE number 5018200

From MaRDI portal

Publication:5200692

Jump to:navigation, search

zbMath1094.03002MaRDI QIDQ5200692

Jody Azzouni

Publication date: 11 April 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

truth semantics proof quantifiers consequence mathematical proof

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items (11)

MATHEMATICAL RIGOR AND PROOF ⋮ Informal proofs and mathematical rigour ⋮ Figures, Formulae, and Functors ⋮ Towards a Theory of Mathematical Argument ⋮ Formal and Natural Proof: A Phenomenological Approach ⋮ Reliability of mathematical inference ⋮ Inconsistency in natural languages ⋮ Degrees of Validity and the Logical Paradoxes ⋮ Why do informal proofs conform to formal norms? ⋮ Towards a theory of mathematical argument ⋮ INFORMAL PROOF, FORMAL PROOF, FORMALISM

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5200692&oldid=19791559"