German English

Save

Analyse Set

Logout

 
 
 
 

______________

GöDiscovery


Additional catalogues and databases

______________

Systematic search since 1994 (SUB)


Systematic search until 1945 (SUB)

______________

Video tutorials

______________

Lent or not available?
Book acquisition programme for students

______________

Home SUB

1 - 10 of 37
previous page      next page
* results  search EADC 000 (Model theory {Mathematics})
Books 1.  Einführung in die mathematische Logik : ein Lehrbuch mit Berücksichtigung der Logikprogrammierung
/ Rautenberg, Wolfgang. - Braunschweig : Vieweg, 1996
Books 2.  Model theory
/ Hodges, Wilfrid. - Reprinted. - Cambridge [u.a.] : Cambridge Univ. Press, 1994
Books 3.  Semantics of programming languages and model theory : [a Conference on Semantics of Programming Languages and Model Theory was held at the International Conference and Research Centre for Computer Science, Schloß Dägstuhl, during June 23 - 29, 1991]
/ Droste, Manfred. - Langhome, Pa. [u.a.] : Gordon and Breach, 1993
Books 4.  Definability of a field in sufficiently rich incidence systems
/ Rabinovich, E. D.. - London : School of Mathematical Sciences, Queen Mary and Westfield College, [1992?]
Books 5.  Locally presentable and accessible categories
/ Adámek, Jir̆í. - Cambridge [u.a.] : Cambridge Univ. Press, 1994
Books 6.  Logic: mathematics, language, computer science and philosophy
/ Swart, Henricus C. M. de. - Frankfurt am Main [u.a.] : Lang, 1993-1994
Books 7.  Comparing notions of similarity for uncountable models
/ Huuskonen, Taneli. - 1991
Books 8.  Proceedings of the Tenth Easter Conference on Model Theory : Wendisch Rietz, April 12 - 17, 1993
/ Weese, Martin. - Berlin : Humboldt-Univ., Fachbereich Mathematik, Informationsstelle, 1993
Books 9.  Logique mathématique : cours et exercices
/ Cori, René. - Paris [u.a.] : Masson, 1993-
Books 10.  Logic of mathematics : a modern course of classical logic
/ Adamowicz, Zofia. - New York [u.a.] : Wiley, 1997
1 - 10 of 37
previous page      next page
 
1 - 10 of 37
previous page      next page