Southeast Asian Conference on Logic

Southeast Asian Conference on Logic
Author :
Publisher : Elsevier
Total Pages : 225
Release :
ISBN-10 : 9780080960371
ISBN-13 : 0080960375
Rating : 4/5 (375 Downloads)

Book Synopsis Southeast Asian Conference on Logic by : C.-T. Chong

Download or read book Southeast Asian Conference on Logic written by C.-T. Chong and published by Elsevier. This book was released on 2011-10-10 with total page 225 pages. Available in PDF, EPUB and Kindle. Book excerpt: The visit of Gerald Sacks to the National University of Singapore in 1981 provided an opportunity to organize a shortconference in Mathematical Logic. We were fortunate to receive encouragement and material support for this venture from several sources. Specific acknowledgements are made below. Sponsorship of the conference by the Association for Symbolic Logic was received and gave added inspiration. A final word in this connexion concerns the debt we owe to invited speakers who were able to provide for travel expenses from their own resources. Their presence at the conference would not have been possible otherwise. The publication of these Proceedings came about through an initiative of North Holland. The progress in producing the volume has been somewhat fitful, and we appreciate their forbearance and understanding. The items herein, with some exceptions, are written versions of invited talks given at the conference. Abstracts of contributed papers have appeared in the Journal of Symbolic Logic. The two workshops: in Recursion Theory by Mark Tamthai and Model Theory by Chris Ash, which were held in conjunction with the conference, are not recorded. We were fortunate to receive editorial assistance from John Bell during his visit to NUS. A great debt is owed to Mimi Bell and Madam Lam for producing the splendid typescript for the volume.


Southeast Asian Conference on Logic Related Books

Southeast Asian Conference on Logic
Language: en
Pages: 225
Authors: C.-T. Chong
Categories: Mathematics
Type: BOOK - Published: 2011-10-10 - Publisher: Elsevier

DOWNLOAD EBOOK

The visit of Gerald Sacks to the National University of Singapore in 1981 provided an opportunity to organize a shortconference in Mathematical Logic. We were f
Proceedings of the Sixth Asian Logic Conference
Language: en
Pages: 368
Authors: C T Chong
Categories: Mathematics
Type: BOOK - Published: 1998-04-04 - Publisher: World Scientific

DOWNLOAD EBOOK

This volume collects written versions of invited and contributed talks presented at the conference. It covers many areas of logic and the foundations of mathema
Computability Theory And Foundations Of Mathematics - Proceedings Of The 9th International Conference On Computability Theory And Foundations Of Mathematics
Language: en
Pages: 194
Authors: Ningning Peng
Categories: Mathematics
Type: BOOK - Published: 2022-05-18 - Publisher: World Scientific

DOWNLOAD EBOOK

This volume features the latest scientific developments in the fields of computability theory and logical foundations of mathematics as well as applications. Th
Logic, Mathematics, Philosophy, Vintage Enthusiasms
Language: en
Pages: 487
Authors: David DeVidi
Categories: Philosophy
Type: BOOK - Published: 2011-03-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and ad
Logical Methods
Language: en
Pages: 829
Authors: John N. Crossley
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nero