Logic Colloquium '73 Proceedings of the Logic Colloquium, Bristol, July 1973
(1975)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | Logic, Symbolic and mathematical |
| Categories | (categorize this paper) |
| Buy this book |
Find it on Amazon.com
|
| ISBN(s) | 0444106421 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloo
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.
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 '85 Proceedings of the Colloquium Held in Orsay, France, July 1985.Equipe de Logique Mathématique & Paris Logic Group - 1987
Logic Colloquium '87: Proceedings of the Colloquium Held in Granada, Spain July 20-25, 1987.Heinz-Dieter Ebbinghaus - 1989 - Elsevier.
Sets, Models and Recursion Theory Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965.John N. Crossley & Logic Colloquium - 1967 - North-Holland.
Models and Computability: Invited Papers From Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997.S. B. Cooper & J. K. Truss (eds.) - 1999 - Cambridge University Press.
Logic Colloquium '88 Proceedings of the Colloquium Held in Padova, Italy, August 22-31, 1988.R. Ferro - 1989
Logic Colloquium '69 Proceedings of the Summer School and [Fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969.Robin Oliver Gandy & Charles Michael Edmund Yates (eds.) - 1971 - Amsterdam, Netherlands: North-Holland.
Logic Colloquium '82 Proceedings of the Colloquium Held in Florence, 23-28 August, 1982.G. Lolli, Giuseppe Longo & A. Marcja - 1984
Logic Colloquium '77 Proceedings of the Colloquium Held in Wroclw, August 1977.Angus Macintyre, Leszek Pacholski & J. B. Paris - 1978
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.
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.
