Lyft Industrial Deals Beauty Little FIres Everywhere STEM nav_sap_plcc_ascpsc Weekly One ft Nina Nesbitt Get 10% cashback on thousands of musical instruments with your Amazon.com Store Credit Card Starting at $39.99 Grocery Handmade Tote Bags Home Gift Guide Off to College Home Gift Guide Book a house cleaner for 2 or more hours on Amazon BradsStatus BradsStatus BradsStatus  Introducing Echo Show Introducing All-New Fire HD 10 with Alexa hands-free $149.99 Kindle Oasis, unlike any Kindle you've ever held Tailgating FFII_gno

LOGIC: N00B to Pro

Dante Cardoso Pinto Almeida
The list author says: "List under construction."
Symbolic Logic And The Game Of Logic
Symbolic Logic And The Game Of Logic
"1st step: understand the elementary logical reasoning."
How to Read and Do Proofs: An Introduction to Mathematical Thought Processes
How to Read and Do Proofs: An Introduction to Mathematical Thought Processes
"2nd step: understand what mathematics is all about."
Gödel, Escher, Bach: An Eternal Golden Braid
Gödel, Escher, Bach: An Eternal Golden Braid
"3rd step: learn what formal systems and computability are all about."
Set Theory and Logic (Dover Books on Mathematics)
Set Theory and Logic (Dover Books on Mathematics)
"4th step: get used to set-theoretical concepts and elementary classical logic."
Satan, Cantor and Infinity: Mind-Boggling Puzzles (Dover Recreational Math)
Satan, Cantor and Infinity: Mind-Boggling Puzzles (Dover Recreational Math)
"Take a breath. Now things start to get hard."
Introduction to Metamathematics
Introduction to Metamathematics
"5th step: Are you already familiar with symbolic classical logic? Now get deeper into the subject."
First-Order Logic (Dover Books on Mathematics)
First-Order Logic (Dover Books on Mathematics)
"6th step: time to learn the tableaux method."
Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
"7th step: take a look on the Gentzen-style proof systems."
Introduction to Logic: and to the Methodology of Deductive Sciences (Dover Books on Mathematics)
Introduction to Logic: and to the Methodology of Deductive Sciences (Dover Books on Mathematics)
"8th step: complement your formation."
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)
"9th step: it's time for non-classical logics."
Modal Logic: An Introduction
Modal Logic: An Introduction
A New Introduction to Modal Logic
A New Introduction to Modal Logic
First-Order Modal Logic (Synthese Library)
First-Order Modal Logic (Synthese Library)
Modalities and Multimodalities (Logic, Epistemology, and the Unity of Science)
Modalities and Multimodalities (Logic, Epistemology, and the Unity of Science)