|
|
1.
|
Shorter model theory
by Hodges, Wilfrid. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Oxford University Press, 1997Availability: Items available for loan: [Call number: 511.3 HOD] (1).
|
|
|
2.
|
Birth of model theory : Lowenheim's theorem in the frame of the theory of relatives
by Badesa, Calixto. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Princeton University Press, 2004Availability: Items available for loan: [Call number: 511.8 BAD] (1).
|
|
|
3.
|
Incompleteness Phenomenon
by Goldstern, Martin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Natick: A K Peters, 1998Availability: Items available for loan: [Call number: 511.3 GOL] (1).
|
|
|
4.
|
Fundamentals of mathematical logic
by Hinman, Peter G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Massachusetts: A K Peters, 2005Availability: Items available for loan: [Call number: 511.3 HIN] (1).
|
|
|
5.
|
Software engineering 1 : abstraction and modelling.
by Bjorner, Dines | Bjorner, Dines. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1).
|
|
|
6.
|
Elements of finite model theory
by Libkin, Leonid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 LIB] (1).
|
|
|
7.
|
New introduction to modal logic
by Hughes, G. E | Cresswell, M. J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Routledge, 1996Availability: Items available for loan: [Call number: 160 HUG] (1). Checked out (1).
|
|
|
8.
|
Computable models
by Turner, Raymond. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 511.352015118 TUR] (1).
|
|
|
9.
|
Finite model theory and its applications
by Gradel, Erich. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 511.34 GRA] (1).
|
|
|
10.
|
System zoo 2 simulation models : climate, ecosystems, resources
by Bossel, Hartmut. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Norderstedt: Books on Demand, 2007Availability: Items available for loan: [Call number: 003.85 BOS] (1).
|
|
|
11.
|
Philosophy and model theory
by Button, Tim | Walsh, Sean [aut]. Edition: 1st ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Oxford University Press, 2018Availability: Items available for loan: [Call number: 190 BUT] (1).
|
|
|
12.
|
Model theory: an introduction
by Marker, David. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer, 2010Availability: Items available for loan: [Call number: 511.3 MAR] (1).
|
|
|
13.
|
Model theory
by Hodges, Wilfrid. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1993Availability: Items available for loan: [Call number: 511.8 HOD] (1).
|
