This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental
160 85 4MB
English Pages 141 Year 2018
Report DMCA / Copyright
DOWNLOAD FILE
1,196 100 7MB Read more
228 120 471KB Read more
Imre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form o
345 84 3MB Read more
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leadi
832 128 20MB Read more
619 79 38MB Read more
This booklet presents examples of faulty geometric proofs, some of which illustrate mistakes in reasoning that a student
284 128 920KB Read more
How do we prove the existence of God? The second volume in the Reason and Religion series tackles head-on this fundament
199 30 23MB Read more
447 90 18MB Read more
An algebra $A$ on a set $X$ is a family of subsets of this set closed under the operations of union and difference of tw
528 53 2MB Read more
687 116 3MB Read more