Tražili ste klasifikacijska oznaka: 03F30
11 rezultata
1
Metamathematics of first-order arithmetic / Petr Hajek ; Pavel Pudlak. 2nd printing
Metamathematics of first-order arithmetic / Petr Hajek ; Pavel Pudlak. 2nd printing.
Hajek, Petr  
Berlin; Heidelberg : Springer-Verlag, 1998
Knjiga knjiga
3
Thinking about Goedel and Turing : essays on complexity, 1970-2007 / Gregory J Chaitin ; with a foreword by Paul Davies. reprint
Thinking about Goedel and Turing : essays on complexity, 1970-2007 / Gregory J Chaitin ; with a foreword by Paul Davies. reprint.
Chaitin, Gregory J.  
New Jersey [etc.] : World Scientific, 2008
Knjiga knjiga
e izvori
5
The Logic of provability / George Boolos. reprinted
The Logic of provability / George Boolos. reprinted.
[Logic of provability. The]
Boolos, George  
Cambridge[etc.] : Cambridge University Press, 1996
Knjiga knjiga
6
An introduction to Goedel's theorems / Peter Smith. reprinted with corrections
An introduction to Goedel's theorems / Peter Smith. reprinted with corrections.
Smith, Peter, matematičar, filozof  
Cambridge : Cambridge University Press, 2008
Knjiga knjiga
8
Classical recursion theory / Piergiorgio Odifreddi. 2nd impression 1999
Classical recursion theory / Piergiorgio Odifreddi. 2nd impression 1999.
Odifreddi, Piergiorgio  
Amsterdam [etc.] : Elsevier, 1992
11
Predicative Arithmetic / by Edward Nelson
Predicative Arithmetic / by Edward Nelson
Nelson, Edward  
Princeton : Princeton University Press, 1986
Knjiga knjiga
Katalog
  • Upute
Usluge
  • Moja iskaznica | Za članove
Knjige
Zaštićeno autorskim pravom ©1999.-2020. Knjižnice grada Zagreba i VIVaInfo d.o.o. Sva prava pridržana.