Proceedings Of The 10th Asian Logic Conference

The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from the 10th meeting held in Kobe, Japan.

Product details

• Authors: Ono Hiroakira
• Assisted by: Toshiyasu Arai (Editor), Arai Toshiyasu (Editor), Jorg Brendle (Editor), Brendle Jorg (Editor), Chi Tat Chong (Editor), Chitat Chong (Editor), Chong Chi Tat (Editor), Rodney G Downey (Editor), Rodney G. Downey (Editor), Qi Feng (Editor), Feng Qi (Editor), Hirotaka Kikyo (Editor), Hiroakira Ono (Editor), Ono Hiroakira (Editor), Rodney G Downey (Editor)
• Publisher: Ingram Publishers Services
• Languages: English
• Product format: Hardback
• Released: 04.12.2009
• EAN: 9789814293013
• ISBN: 978-981-4293-01-3
• Subjects: Natural sciences, medicine, IT, technology > Mathematics > Basic principles; MATHEMATICS / Logic, Mathematical logic