- Author: Peter W. O’Hearn Robert D. Tennent
- Language: English
- Year: 1996
- Author: Roberto Di Cosmo (auth.)
- Language: English
- Year: 1995
- Author: Erwin Engeler (auth.)
- Language: English
- Year: 1995
- Author: James S. Royer John Case (auth.)
- Language: English
- Year: 1994
- Author: Alistair Sinclair (auth.)
- Language: English
- Year: 1993
- Author: Pierre-Louis Curien
- Language: English
- Year: 1993
- Author: Johannes Köbler Uwe Schöning Jacobo Torán (auth.)
- Language: English
- Year: 1993
- Author: Ker-I Ko (auth.)
- Language: English
- Year: 1991
- Author: Thomas Streicher (auth.)
- Language: English
- Year: 1991
Logic of Domains
pdf
- Author: Guo-Qiang Zhang (auth.)
- Language: English
- Year: 1991