# Formal Logic Discipline

(Redirected from formal logic)

Jump to navigation
Jump to search
A Formal Logic Discipline is an academic discipline that studies formal logic systems.

## References

### 2013

- (Genesereth & Kao, 2013) ⇒ Michael Genesereth, and Eric Kao. (2013). “Introduction to Logic." Morgan & Claypool Publishers. doi:10.2200/S00432ED1V01Y201207CSL005
- QUOTE: This book is a gentle but rigorous introduction to formal logic. … The approach to teaching logic used here emerged from more than 20 years of teaching logic to students at Stanford University and from teaching logic to tens of thousands of others via online courses on the World Wide Web. … Like many other books on logic, this one covers logical syntax and semantics and proof theory plus induction. However, unlike other books, this book begins with Herbrand semantics rather than the more traditional Tarskian semantics. …