Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathema

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathema

Problems in Combinatorics and Graph Theory (Wiley Series in Discrete Mathema...

LR Perfection: A Complete Guide to Perfecting the Logic Reasoning Section for th

A Logic Book: Fundamentals of Reasoning

Graph Connections: Relationships between Graph Theory and Other Areas of Mathema