|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Sergei S Goncharov (Russian Academy Of Sci, Russia) , Hiroakira Ono (Japan Advanced Inst Of Sci & Tech, Japan) , Rodney G Downey (Victoria Univ Of Wellington, New Zealand)Publisher: World Scientific Publishing Co Pte Ltd Imprint: World Scientific Publishing Co Pte Ltd Dimensions: Width: 15.40cm , Height: 2.20cm , Length: 23.50cm Weight: 0.599kg ISBN: 9789812700452ISBN 10: 9812700455 Pages: 328 Publication Date: 25 October 2006 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Awaiting stock The supplier is currently out of stock of this item. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out for you. Table of ContentsAnother Characterization of the Deduction-Detachment Theorem (S V Babyonyshev); On Behavior of 2-Formulas in Weakly o-Minimal Theories (B S Baizhanov & B Sh Kulpeshov); Arithmetic Turing Degrees and Categorical Theories of Computable Models (E Fokina); Negative Data in Learning Languages (S Jain & E Kinber); Effective Cardinals in the Nonstandard Universe (V Kanovei & M Reeken); Model-Theoretic Methods of Analysis of Computer Arithmetic (S P Kovalyov); The Functional Completeness of Le niewski's Systems (F Lepage); Hierarchies of Randomness Tests (J Reimann & F Stephan); Intransitive Linear Temporal Logic Based on Integer Numbers, Decidability, Admissible Logical Consecutions (V V Rybakov); The Logic of Prediction (E Vityaev); Conceptual Semantic Systems Theory and Applications (K E Wolff); Complexity Results on Minimal Unsatisfiable Formulas (X Zhao); and other papers.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |