03906nam# 22003971i 450 UON0003596520231205102122.97420020107b1866 |0itac50 barusGERRU|||| 1||||PROBEN der Volkslitteratur von turkischen Stamme sud-sibiriensgesammelt und ubersetzt von W. RadloffSt. PetersburgCommissionare der Kaiserlichen Akad. der Wissenschaften10 v. ; 22 cIl titolo dei volumi V-VII è : Proben der Volkslitteratur der Nordlichen Turkischen Stamme001UON000359642001 ˆDie ‰Sprachen der turkischen und der dsungarischen Steppevon W. Radloff210 St. PetersburgBuchdruckerei der Kaiserl Akad. der Wissenschaften, v. ; cmDal vol. V il titolo diventaDie Sprachen der Nordlichen Turkischen Stamme001UON000359662001 ˆDie ‰Dialecte des eigentlichen AltaiDer Altajer und Teleuten, Lebed-Tataren, Schoren und Sojonen210 [Leipzig][Zentral-Antiquariat der DDR][1965] 434 p. ; 22 c300 Ripr. facs. dell'ed. originale pubblicata a St. Petersburg nel 18661001UON000359752001 Mundarten der besserabischen Gagausengesammelt und ubersetzt von V. Moschkoff210 [Leipzig][Zentral-Antiquariat der DDR][1965] x,346 p. ; 22 c300 Ripr. facs. dell'ed. originale pubblicata a St. Petersburg nel 190410001UON000359672001 ˆDie ‰Abakan-Dialecte (Der sagaische, kohbalische, katschunzische), der kysyl-Dialect und der Tscholym-Dialect (Kuarik)210 [Leipzig][Zentral-Antiquariat der DDR][1965] 720 p. ; 22 c300 Ripr. facs. dell'ed. originale pubblicata a St. Petersburg nel 18682001UON000359682001 Kirgische Mundarten210 [Leipzig][Zentral-Antiquariat der DDR][1965] 856 p. ; 22 c300 Ripr. facs. dell'ed. originale pubblicata a St. Petersburg nel 18703001UON000359692001 ˆDie ‰Mundarten der Barabiner, Taraer, Toboler und tumenischen Tataren210 [Leipzig][Zentral-Antiquariat der DDR][1965] 512 p. ; 22 c300 Ripr. facs. dell'ed. originale pubblicata a St. Petersburg nel 18724001UON000359702001 ˆDer ‰Dialect der Kara-Kirgischen210 St. PetersburgCommissionare der Kaiserlichen Akademie der Wissenschaften1885 603 p. ; 22 cm5001UON000359712001 ˆDer ‰Dialect der Tarantschi210 St. PetersburgCommissionare der Kaiserlichen Akademie der Wissenschaften1886 272 p. ; 22 cm6001UON000359722001 ˆDie ‰Mundarten der Krym210 St. PetersburgCommissionares de l'Académie Impériale des Sciences1896 xviii,408,527 p. ; 22 cm7001UON000359732001 ˆDie ‰Mundarten der Osmanengesammelt und ubersetzt von Ignaz Kunos210 St. PetersburgCommissionares de l'Académie Impériale des Sciences1899 xlii,588 p. ; 22 cm8001UON000359742001 Mundarten der Urianchaier (Sojonen), Abaken-Tataren und KaragassenTexte gesammelt und ubersetzt von N. Th. Katanoff210 [Leipzig][Zentral-Antiquariat der DDR][1965] xxv,658 p. ; 22 c300 Ripr. facs. dell'ed. originale pubblicata a St. Petersburg nel 19079UON00355341Proben der Volkslitteratur der Nordlichen Turkischen StammeLETTERATURA POPOLARESIBERIAUONC011927FIRULeningradUONL003193AC VI BDASIA CENTRALE - LETTERATURA TURCA POPOLAREARadlovVasilij Vasil'evičUONV0048591257502*Kaiserlichen *Akademie der *WissenschaftenUONV064290650RADLOFF, WilhelmRadlov, Vasilij Vasil'evičUONV010903ITSOL20240220RICAUON00035965PROBEN der Volkslitteratur von turkischen Stamme sud-sibiriens3894026UNIOR02819nam 22004693 450 991074459780332120250513225434.03-662-21963-8(CKB)1000000000751038(MiAaPQ)EBC3100758(Au-PeEL)EBL3100758(CaPaEBR)ebr10975662(OCoLC)936320328(EXLCZ)99100000000075103820210901d1996 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierGödel '96 Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy1st ed.Berlin, Heidelberg :Springer,1996.©1996.1 online resource (332 pages)Lecture Notes in Logic ;v.63-540-61434-6 Lecture Notes in Logic 6 Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy -- Gödel '96 -- Copyright -- Preface -- Table of Contents -- Part I Invited Papers -- Gödel's program for new axioms: Why, where, how and what? -- Infinite-valued Gödel Logics with 0-1-Projections and Relativizations * -- Contributions of K. Gödel to Relativity and Cosmology * -- Kurt Gödel and the constructive Mathematics of A.A. Markov -- Hao Wang as Philosopher -- A bottom-up approach to foundations of mathematics * -- K-graph Machines: generalizing Turing's machines and arguments * -- Forcing on Bounded Arithmetic -- Uniform Interpolation and Layered Bisimulation * -- Part II Contributed Papers -- Gödel 's Ontological Proof Revisited * -- A Uniform Theorem Proving Tableau Method for Modal Logic* -- Decidability of the ∃*∀*-Class in the Membership Theory NWL * -- A Logical Approach to Complexity Bounds for Subtype Inequalities -- How to characterize provably total functions by the Buchholz operator method * -- Completeness has to be restricted: Gödel 's interpretation of the parameter t * -- A Bounded Arithmetic Theory for Constant Depth Threshold Circuits* -- Information content and computational complexity of recursive sets * -- Kurt Gödel and the Consistency of R##* -- Best possible answer is computable for fuzzy SLD-resolution * -- The finite stages of inductive definitions * -- Gödel and the Theory of Everything * -- Replacement→ Collection *.Lecture Notes in Logic Gödel '96 GÖDEL '96511.3Hajek Petr48949Girard J.-Y1225454Lachlan A48457MiAaPQMiAaPQMiAaPQBOOK9910744597803321Gödel '962846850UNINA