Classical recursion theory / Piergiorgio Odifreddi
Classical recursion theory / Piergiorgio Odifreddi. 2nd impression 1999
Autor
Odifreddi, Piergiorgio
Izdanje
2nd impression 1999
Nakladnik
Amsterdam [etc.] : Elsevier, 1992
Materijalni opis
xix, 667 str. : ilustr. ; 24 cm
Napomena
Bibliografija: str.603-641.
 
Kazala.
Klasifikacijska oznaka
03Dxx Computability and recursion theory
 
03-02 Research exposition (monographs, survey articles)
 
03E15 Descriptive set theory [See also 28A05, 54H05]
 
03E45 Inner models, including constructibility, ordinal definability, and core models
 
03F30 First-order arithmetic and fragments
 
68Q05 Models of computation (Turing machines, etc.) [See also 03D10, 81P68]
Jezik
engleski
Standardni broj
ISBN 0-444-89483-7
Građa
Knjigaknjiga

ODIFREDDI, Piergiorgio
Classical recursion theory / Piergiorgio Odifreddi. - 2nd impression 1999. - Amsterdam [etc.] : Elsevier, 1992. - xix, 667 str. : ilustr. ; 24 cm. - (Studies in logic and the Foundations of Mathematics ; Vol. 125)
Bibliografija: str.603-641. - Kazala.
ISBN 0-444-89483-7


Katalog
  • Upute
Usluge
  • Moja iskaznica | Za članove
Knjige
Zaštićeno autorskim pravom ©1999.-2019. Knjižnice grada Zagreba i VIVaInfo d.o.o. Sva prava pridržana.