Proceedings of the 6th Asian Logic Conference
Subtitle: Beijing, China, 20-24 May 1996
Contributors: C. T. Chong (Editor); Q. Feng (Editor); D. Ding (Editor); Q. Huang (Editor); M. Yasugi (Editor)
Publisher: World Scientific Publishing Company
Published: June 1998
Language: eng
Format: Paperback
Number of pages: 356
ISBN-13: 9789810234324
Subjects: Computer architecture & logic design; Mathematical logic; Mathematical theory of computation; Philosophy Of Mathematics; Congresses; Computer Logic; Science/Mathematics; Mathematics; Logic, symbolic and mathematical; Logic; Research; Logic, symbolic and mathematic