Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
Search history
[
x
]
×
Log in to your account
Login:
Password:
Forgot your password?
Refine your search
Availability
Limit to currently available items.
Authors
Marcja, Annalisa
Moerdijk, Ieke
Oosten, Jaap van
Toffalori, Carlo
Holding libraries
DAU
Item types
Books
Series
Springer undergradua...
Trends in logic, 19.
Topics
Algebra
Axiom of Choice bi
Compactness Theorem
Continuum Hypothesis
FIrst-order logic
Injective function
L-formula
Logic
Model Theory
Philosophy
Proof tree
Quantifier Eliminati...
Quantifier eliminati...
Surjective function
Symbolic and mathema...
Well-ordered set
Your query retrived 2 records.
|
Unhighlight
Highlight
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
1.
Guide to classical and modern model theory
by
Marcja, Annalisa
|
Toffalori, Carlo.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Boston: Kluwer Academic Publishers 2003
Availability:
Items available for loan:
DAU [
Call number:
511.3 MAR] (1).
Place hold
2.
Sets, models and proofs
by
Moerdijk, Ieke
|
Oosten, Jaap van.
Publisher:
Cham : Springer, 2018
Availability:
Items available for loan:
DAU [
Call number:
511.3 MOE] (1).
Place hold
Powered by
Koha