Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference

Author:   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
ISBN:  

9789812700452


Pages:   328
Publication Date:   25 October 2006
Format:   Hardback
Availability:   Awaiting stock   Availability explained
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.

Our Price $274.56 Quantity:  
Add to Cart

Share |

Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference


Add your own review!

Overview

Full Product Details

Author:   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:  

9789812700452


ISBN 10:   9812700455
Pages:   328
Publication Date:   25 October 2006
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Awaiting stock   Availability explained
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 Contents

Another 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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

ls

Shopping Cart
Your cart is empty
Shopping cart
Mailing List