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 - 2 of 2
      
* results  search EAD 990 (Mathematical logic and foundations - not classified at a more specific level)
Books 1.  Les formes du réalisme mathématique
/ Sabatier, Xavier. - Paris : Vrin, 2009
Books 2.  What logics mean : from proof theory to model-theoretic semantics
/ Garson, James W.. - Cambridge, UK [u.a.] : Cambridge Univ. Press, 2013
1 - 2 of 2
      
 
1 - 2 of 2