Heyting'88 Summer School and Conference on Mathematical Logic, held
September 13 - 23, 1988 in Chaika, Bulgaria, was honourably
dedicated to Arend Heyting's 90th anniversary. It was organized by
Sofia University "Kliment Ohridski" on the occasion of its
centenary and by the Bulgarian Academy of Sciences, with
sponsorship of the Association for Symbolic Logic. The Meeting
gathered some 115 participants from 19 countries. The present
volume consists of invited and selected papers. Included are all
the invited lectures submitted for publication and the 14 selected
contributions, chosen out of 56 submissions by the Selection
Committee. The selection was made on the basis of reports of PC
members, an average of 4 per sLlbmission. All the papers are
concentrated on the topics of the Meeting: Recursion Theory, Modal
and Non-classical Logics, Intuitionism and Constructivism, Related
Applications to Computer and Other Sciences, Life and Work of Arend
Heyting. I am pleased to thank all persons and institutions that
contributed to the success of the Meeting: sponsors, Programme
Committee members and additional referees, the members of the
Organizing Committee, our secretaries K. Lozanova and L. Nikolova,
as well as K. Angelov, V. Bozhichkova, A. Ditchev, D. Dobrev, N.
Dimitrov, R. Draganova, G. Gargov, N. Georgieva, M. Janchev, P.
Marinov, S. Nikolova, S. Radev, I. Soskov, A. Soskova and v.
Sotirov, who helped in the organization, Plenum Press and at last
but not least all participants in the Meeting and contributors to
this volume.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
