- Author: Sven Ove Hansson (auth.)
- Language: English
- Year: 1999
- Author: Seiki Akama (auth.) Seiki Akama (eds.)
- Language: English
- Year: 1997
- Author: Braüner Torben
- Language: English
- Year: 2011
- Author: Gouveia Paula, Coniglio Marcelo, Sernadas Cristina, Carnielli Walter, Gabbay Dov M
- Language: English
- Year: 2008
- Author: Andrews Peter B., Barwise Jon, Gabbay Dov M
- Language: English
- Year: 2002
- Author: Ricardo Caferra Alexander Leitsch Nicholas Peltier
- Language: English
- Year: 2004
- Author: John Woods
- Language: English
- Year: 2004
- Author: Seiki Akama (eds.)
- Language: English
- Year: 1997
Labelled deduction
djvu
- Author: David Basin Marcello D’Agostino Dov M. Gabbay Seán Matthews Luca Viganò (eds.)
- Language: English
- Year: 2000