Patrick Blackburn profile picture

Patrick Blackburn

Is this your author profile? Create an account to customize it!

Stand Alone

Tools for Teaching Logic
Learn prolog now!
Representation and inference for natural language
Representation and Inference for Natural Language A First Course in Computational Semantics
Aprenda PROLOG Ja!
Prolog, tout de suite!
Modal Logic (Cambridge Tracts in Theoretical Computer Science)
Dynamic Squares
Modal Logic
Modal Logic Graph. Darst
Modal Logic