- Author: Charles E. Roberts Jr.
- Language: English
- Year: 2010
- Author: Restall Greg
- Language: English
- Year: 2000
- Author: G. Gerla, Mundici Daniele, Priest Graham
- Language: English
- Year: 2001
Algorithmic Logic
djvu
- Author: Mirkowska Grażyna, Salwicki Andrzej
- Language: English
- Year: 1987
- Author: Dov M. Gabbay Karl Schlechta
- Language: English
- Year: 2016
- Author: D M Gabbay O T Rodrigues
- Language: English
- Year: 2016
- Author: Rafal Urbaniak, Leśniewski Stanisław
- Language: English
- Year: 2014
- Author: Janusz Czelakowski, Mundici Daniele, Priest Graham
- Language: English
- Year: 2001
- Author: Mundici Daniele, Orłowska Ewa, Wójcicki Ryszard (eds.)
- Language: English
- Year: 2003
- Author: Moss Sarah
- Language: English
- Year: 2018