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
An Invitation to Formal Reasoning - MaRDI portal

An Invitation to Formal Reasoning

From MaRDI portal

Publication:5242599

Jump to:navigation, search

DOI10.4324/9781315262628zbMath1423.03005OpenAlexW4231023460MaRDI QIDQ5242599

Fred Sommers, George Englebretsen

Publication date: 12 November 2019

Full work available at URL: https://doi.org/10.4324/9781315262628

Mathematics Subject Classification ID

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

Related Items (5)

Murphree's numerical term logic tableaux ⋮ What kind of opposition-forming operator is privation? ⋮ Negative predication and distinctness ⋮ Subatomic negation ⋮ THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS

This page was built for publication: An Invitation to Formal Reasoning

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