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 45
previous page      next page
* results  search [and] msc "03F00"
Books 1.  Proofs and computations
/ Schwichtenberg, Helmut. - 1. publ. - Cambridge, UK [u.a.] : Cambridge Univ. Press [u.a.], 2012
Books 2.  The proof is in the pudding : the changing nature of mathematical proof
/ Krantz, Steven G.. - New York : Springer, 2011
Books 3.  A framework for priority arguments
/ Lerman, Manuel. - Cambridge [u.a.] : Cambridge University Press, 2010
Books 4.  Analysis and synthesis of logics : how to cut and paste reasoning systems
/ Carnielli, Walter Alexandre. - Dordrecht : Springer, 2008
Books 5.  Beweisbarkeitslogik : Gödel, Rosser, Solovay
/ Bülow, Christopher von. - Berlin : Logos-Verl., 2006
Books 6.  Techniques of constructive analysis
/ Bridges, Douglas S.. - New York, NY : Springer, c 2006
Books 7.  Einführung in die Unvollständigkeitstheoreme
/ Galvan, Sergio. - Paderborn : Mentis-Verl., 2006
Books 8.  Shōmei-ron-to-keisan-ron : tanki-kyōdō-kenkyūshū
/ Andou, Yuuki. - Kyōto : Kyoto University, Research Institute for Mathematical Sciences, 2005
Books 9.  Essays in constructive mathematics
/ Edwards, Harold M.. - New York, NY : Springer, c2005
Books 10.  Logic, induction and sets
/ Forster, Thomas. - 1. publ. - Cambridge [u.a.] : Cambridge Univ. Press, 2003
1 - 10 of 45
previous page      next page
Word   Type   Count
03f00 [MSC] Mathematics Subjects Classification 46
 
1 - 10 of 45
previous page      next page