Introduction to ?2 1 -logic

Synthese 62 (2):191-216 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00486046

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,440

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

Advances in linear logic.Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) - 1995 - New York, NY, USA: Cambridge University Press.
Editor’s Introduction to Jean van Heijenoort, Historical Development of Modern Logic.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):301-326.
Introduction to?2 1 -logic.Jean-Yves Girard - 1985 - Synthese 62 (2):191-216.
First-order logic: an introduction.Leigh S. Cauman - 1998 - New York: Walter de Gruyter.
An introduction to philosophical logic.Anthony C. Grayling - 1997 - Malden, Mass.: Blackwell.
Introduction to combinatory logic.J. Roger Hindley - 1972 - Cambridge [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.
From foundations to ludics.Jean-Yves Girard - 2003 - Bulletin of Symbolic Logic 9 (2):131-168.
Introduction to neutrosophic logic.Charles Ashbacher - 2002 - Rehoboth, NM: American Research Press.
Embeddability of ptykes.Jean-Yves Girard & Dag Normann - 1992 - Journal of Symbolic Logic 57 (2):659-676.
Logic: a very short introduction.Graham Priest - 2000 - New York: Oxford University Press.
Introduction to symbolic logic and its applications.Rudolf Carnap - 1958 - New York,: Dover Publications.
Logic: an introductory course.W. Newton-Smith - 1985 - London: Routledge & Kegan Paul.

Analytics

Added to PP
2013-01-15

Downloads
36 (#435,476)

6 months
7 (#416,569)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Derivatives of normal functions in reverse mathematics.Anton Freund & Michael Rathjen - 2021 - Annals of Pure and Applied Logic 172 (2):102890.
Induktive Definitionen und Dilatoren.Wilfried Buchholz - 1988 - Archive for Mathematical Logic 27 (1):51-60.

Add more citations

References found in this work

[product]¹2-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2):75.

Add more references