Author(s): Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono
Series: Studies in Logic and the Foundations of Mathematics 151
Publisher: Elsevier Science
Year: 2007
Language: English
Pages: 517