Patrick Blackburn

Patrick Blackburn

Patrick Blackburn has written at least 2 books. Their most popular book is Modal Logic with 1 save with an average rating of 4⭐.

They are best known for writing in the genres General, Mathematics, and Computers.

Series

1 released book

Authored 25% of series

Cambridge Tracts in Theoretical Computer Science

Cambridge Tracts in Theoretical Computer Science is a 4-book series first released in 1987 with contributions by Gregory Chaitin, Anne S. Troelstra, and 5 others.

Algorithmic Information Theory
Basic Proof Theory
Metamathematics, Machines and Gödel's Proof
Modal Logic