Your search returned 5 results.

Not what you expected? Check for suggestions
1.
Computer Science Logic

by Jörg Flum, Mario Rodriguez-Artalejo.

Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

2.
Finite Model Theory

by Heinz-Dieter Ebbinghaus, Jörg Flum.

Series: Springer Monographs in MathematicsEdition: 2nd ed 1999. 2nd printing 2005Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1995Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

3.
Finite Model Theory

by Heinz-Dieter Ebbinghaus, Jörg Flum.

Series: Perspectives in Mathematical LogicEdition: 1995Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1995Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

4.
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29August 2, 1985

by Alcantara Luiz Paulo de | Carnielli Walter A.

Series: Contemporary mathematics ; v. 69Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c1988Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

5.
Topological Model Theory

by Jörg Flum | Martin Ziegler.

Series: Lecture Notes in Mathematics ; v.769Edition: 1980Material type: Computer file Computer file; Format: electronic Publication details: Heidelberg Springer Berlin 1980Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .