Code: 15526007
Provides a gentle but rigorous introduction to Formal Logic. 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 ... more
Enter your e-mail address and once book will be available,
we will send you a message. It's that simple.
Provides a gentle but rigorous introduction to Formal Logic. 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. This approach makes the material considerably easier for students to understand.
Book category Books in English Mathematics & science Mathematics Mathematical foundations
Since 2008, we have served long line of book lovers, but each of them was always on the first place.
Copyright! ©2008-24 libristo.pl All rights reservedPrivacyPoučení o cookies
You & Books. All covered.
Shopping cart ( Empty )