Elsevier (1989)
| Abstract |
Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.
|
| Keywords | Logic, Symbolic and mathematical |
| Categories | (categorize this paper) |
| Buy this book |
Find it on Amazon.com
|
| ISBN(s) | 0444880224 0444880224 9780444880222 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,464
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Logic Colloquium ’96: Proceedings of the Colloquium Held in San Sebastián, Spain, July 9–15, 1996.Jesus M. Larrazabal, Daniel Lascar & Grigori Mints - 1998 - Springer.
Logic Colloquium '84: Proceedings of the Colloquium Held in Manchester, U.K., July 1984.J. B. Paris, Alec J. Wilkie & G. M. Wilmers (eds.) - 1986 - Amsterdam, Netherlands: North-Holland.
Logic Colloquium '85 Proceedings of the Colloquium Held in Orsay, France, July 1985.Equipe de Logique Mathématique & Paris Logic Group - 1987
Logic Colloquium '73 Proceedings of the Logic Colloquium, Bristol, July 1973.H. E. Rose, J. C. Shepherdson & Association for Symbolic Logic - 1975
Logic Colloquium '88 Proceedings of the Colloquium Held in Padova, Italy, August 22-31, 1988.R. Ferro - 1989
Logic Colloquium '82 Proceedings of the Colloquium Held in Florence, 23-28 August, 1982.G. Lolli, Giuseppe Longo & A. Marcja - 1984
Formal Systems and Recursive Functions Proceedings of the Eighth Logic Colloquium, Oxford, July 1963.John N. Logic Colloquium, Michael A. E. Crossley, Dummett & Association for Symbolic Logic - 1965 - North-Holland.
Logic Colloquium '78 Proceedings of the Colloquium Held in Mons, August 1978.Maurice Boffa, D. van Dalen & Kenneth Mcaloon - 1979 - North-Holland Pub. Co. Elsevier North-Holland, Sole Distributors for the U.S.A. And Canada.
Logic Colloquium '77 Proceedings of the Colloquium Held in Wroclw, August 1977.Angus Macintyre, Leszek Pacholski & J. B. Paris - 1978
Logic Colloquium 76 Proceedings of a Conference Held in Oxford in July 1976.Robin Oliver Gandy & John Martin Elliott Hyland - 1977
Proceedings of the Herbrand Symposium Logic Colloquium '81 ... Held in Marseilles, France, July 1981.Jacques Herbrand - 1982 - North-Holland.
Logic Colloquium: Symposium on Logic Held at Boston, 1972-73.Rohit Parikh (ed.) - 1975 - New York, NY, USA: Springer Verlag.
Analytics
Added to PP index
2015-02-02
Total views
0
Recent downloads (6 months)
0
2015-02-02
Total views
0
Recent downloads (6 months)
0
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
