Issledovanija po teorii dokazatel'stv : sbornik statej / G.Krajzel' ; perevod s angl. Ju. A. Gasteva i G. E. Minca ; pod redakciej S. Ju. Maslova
Autor
Kreisel, G.
Nakladnik
Moskva : Mir, 1981
Materijalni opis
289 str. ; 22 cm
Napomena
Prijevod djela.
 
Bibliografija uz radove.
Klasifikacijska oznaka
03F05 Cut-elimination and normal-form theorems
 
03-02 Research exposition (monographs, survey articles)
 
03F15 Recursive ordinals and ordinal notations
 
03F20 Complexity of proofs
 
03F07 Structure of proofs
 
01A75 Collected or selected works; reprintings or translations of classics [See also 00B60]
Jezik
ruski
Građa
Knjigaknjiga

KREISEL, G.
Issledovanija po teorii dokazatel'stv : sbornik statej / G.Krajzel' ; perevod s angl. Ju. A. Gasteva i G. E. Minca ; pod redakciej S. Ju. Maslova. - Moskva : Mir, 1981. - 289 str. ; 22 cm. - (Matematika : novoe v zarubežnoj nauke ; 23)
Prijevod djela. - Bibliografija uz radove.

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.