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 EADF 000 (Proof theory and constructive mathematics {Mathematics})
Books 1.  Resource logics : proof-theoretical investigations
/ Roorda, Dirk. - Amsterdam, 1991
Books 2.  La trama de la demostración : (Los griegos y la razón tejedora de pruebas)
/ Vega Reñón, Luis. - Madrid : Alianza Editorial, c1990
Books 3.  Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla
/ Murawski, Roman. - Wyd. 2. nie zmienione. - Poznań : Uniw. im. Adama Mickiewicza, 1991
Books 4.  Arithmetic, proof theory, and computational complexity : [Workshop from June 1 - June 30, 1990 at the University of California at San Diego and from June 15 - July 15, 1991 at the Mathematical Institute of the Czechoslovak Academy of Sciences and the Charles University in Prague. During each workshop there was a 3 day international conference, San Diego conference from June 25 - 27, 1990, conference in Prague from July 2 - 5, 1991]
/ Clote, Peter. - Oxford : Clarendon Press, 1993
Books 5.  Logic programming : operational semantics and proof theory
/ Andrews, James H.. - Cambridge [u.a.] : Cambridge Univ. Press, 1992
Books 6.  Collected works
/ Gödel, Kurt. - New York, NY [u.a.] : Oxford Univ. Press [u.a.], 1986-
Books 7.  Logic: mathematics, language, computer science and philosophy
/ Swart, Henricus C. M. de. - Frankfurt am Main [u.a.] : Lang, 1993-1994
Books 8.  Automated deduction in multiple-valued logics
/ Hähnle, Reiner. - Oxford : Clarendon Press, 1993
Books 9.  Akten des 15. Internationalen Wittgenstein-Symposiums : 16. bis 23. August 1992, Kirchberg am Wechsel (Österreich)
Wien : Hölder-Pichler-Tempsky, 1993-
Books 10.  Logica : een inleiding met toepassingen in de informatica
/ Westrhenen, S. C. van. - Schoonhoven : Acad. Service, 1993
1 - 10 of 45
previous page      next page
 
1 - 10 of 45
previous page      next page