What do you think?
Rate this book
Formallogikk
423 pages, Hardcover
Published January 1, 2020
2 people are currently reading
1 person want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
Displaying 1 of 1 review
June 23, 2025
A really great and comprehensive introduction to both truth-functional and first-order logic. Covers everything needed in such a primer, such as truth tables, trees and natural deduction. A huge plus is the use of fitch-style deduction, which in my view is the most expressive and intuitive of them. I used to like lemmon style, but after reading this book, fitch-style is my go to now.
It also includes a short section on metalogic to prepare the student for higher level of logic. The only downside of this book is that it has no problems which is quite odd because most of the intuition comes from actually solving problems in natural deduction. It also for some reason does not teach the standarized xx-introduction after arriving at a (p &-p), which is odd for me to say the least.
Great book for anyone who understands Norwegian (which is another downside).
It also includes a short section on metalogic to prepare the student for higher level of logic. The only downside of this book is that it has no problems which is quite odd because most of the intuition comes from actually solving problems in natural deduction. It also for some reason does not teach the standarized xx-introduction after arriving at a (p &-p), which is odd for me to say the least.
Great book for anyone who understands Norwegian (which is another downside).
Displaying 1 of 1 review