Second Scandinavian Logic Symposium

Journal of Symbolic Logic 36 (2):378-384 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200127094

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Proceedings of the Second Scandinavian Logic Symposium.Jens Erik Fenstad (ed.) - 1971 - Amsterdam,: North-Holland Pub. Co..
Prawitz Dag. Ideas and results in proof theory. Proceedings of the Second Scandinavian Logic Symposium, edited by Fenstad J. E., Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 235–307. [REVIEW]Solomon Feferman - 1975 - Journal of Symbolic Logic 40 (2):232-234.
Matijasevič Ju. V.. Diophantine representation of recursively enumerable predicates. Proceedings of the Second Scandinavian Logic Symposium, edited by Fenstad J. E., Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 171–177. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):606-606.
Troelstra A. S.. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium, edited by Fenstad J. E., North-Holland Publishing Company, Amsterdam and London 1971, pp. 369–405. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (4):625-625.
Proceedings of the third Scandinavian Logic Symposium.Stig Kanger (ed.) - 1975 - New York: American Elsevier.
7th Scandinavian Logic Symposium.Viggo Stoltenberg-Hansen - 1997 - Bulletin of Symbolic Logic 3 (4):487-488.
Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979.Finn V. Jensen, B. H. Mayoh & Karen K. Møller (eds.) - 1979 - Aalborg: distruberet af Aalborg Universitetsforlag.
Essays on Mathematical and Philosophical Logic Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29-July 6, 1976.Jaakko Hintikka, Ilkka Niiniluoto, Esa Saarinen & Soviet-Finnish Logic Conference - 1979
Ideas and Ideologies in Scandinavian Literature Since the First World War Proceedings of the 10th Study Conference of the International Association for Scandinavian Studies, Held in Reykjavík, July 22-27, 1974.International Association for Scandinavian Studies & Sveinn Skorri Höskuldsson - 1975 - University of Iceland, Institute of Literary Research.
Corporate social responsibility in the european communities — the scandinavian viewpoint.Morten P. Broberg - 1996 - Journal of Business Ethics 15 (6):615 - 622.
The Structure of Law: Proceedings of the 2nd Benelux-Scandinavian Symposium in Legal Theory, Uppsala, Dec. 11-13, 1986.Åke Frändberg & Mark van Hoecke - 1987
Coherence and Conflict in Law Proceedings of the 3rd Benelux-Scandinavian Symposium in Legal Theory, Amsterdam, January 3-5, 1991.P. W. Brouwer - 1992
Scandinavian Unrealism: Co-report on Scandinavian Legal Philosophy.Jacob Sundberg - 1986 - Rechtstheorie 9:307-321.
Rynell . The Rivalry of Scandinavian and Native Synonyms in Middle English, especially taken and nimen with an e cursus on nema and taka in Old Scandinavian. [REVIEW]E. Polomé - 1951 - Revue Belge de Philologie Et D’Histoire 29 (1):188-190.
Logic Programming: Proceedings of the Fifth International Conference and Symposium.Robert Kowalski & Kenneth A. Bowen - 1988 - MIT Press (MA).

Analytics

Added to PP
2016-06-30

Downloads
16 (#932,051)

6 months
7 (#489,614)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references