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
Logic for Mathematical Writing - MaRDI portal

Logic for Mathematical Writing

From MaRDI portal

Publication:5427797

Jump to:navigation, search

DOI10.1093/jigpal/jzm022zbMath1127.03302OpenAlexW2082145599MaRDI QIDQ5427797

Wilfrid Hodges, Edmund Harriss

Publication date: 27 November 2007

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/6f59eb3b6459e47c1df41f9f03ce01fb23ec824b

zbMATH Keywords

Pascal natural deduction logic informal logic discharging assumptions mathematical exposition

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Methodology of mathematics (00A35)

This page was built for publication: Logic for Mathematical Writing

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