Advances in linear logic, edited by Jean-Yves Girard, Yves Lafont, and Laurent Regnier, London Mathematical Society lecture note series, no. 222, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, vii + 389 pp [Book Review]

Journal of Symbolic Logic 62 (2):678-680 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275558

Links

PhilArchive



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

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

Review: Jean-Yves Girard, Yves Lafont, Laurent Regnier, Advances in Linear Logic. [REVIEW]C. Dimitracopoulos & Dale Miller - 1997 - Journal of Symbolic Logic 62 (2):678-680.
Lou van den Dries. Tame topology and o-minimal structures. London Mathematical Society lecture note series, no. 248. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1998, x + 180 pp. [REVIEW]Alessandro Berarducci - 2000 - Bulletin of Symbolic Logic 6 (2):216-218.
Howard Becker and Alexander S. Kechris. The descriptive set theory of Polish group actions. London Mathematical Society lecture note series, no. 232. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xi + 136 pp. [REVIEW]Arlan Ramsay - 1998 - Journal of Symbolic Logic 63 (4):1604-1605.
Linear logic in computer science, edited by Ehrhard T., Girard J.-Y., Ruet P., and Scott P., London Mathematical Society Lecture Note Series, 316. Cambridge University Press, 2004, 392 pp. [REVIEW]Andrzej S. Murawski - 2006 - Bulletin of Symbolic Logic 12 (2):297-299.
Advances in linear logic.Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) - 1995 - New York, NY, USA: Cambridge University Press.
Krzysztof Ciesielski. Set theory for the working mathematician. London Mathematical Society student texts, no. 39. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, xi + 236 pp. [REVIEW]Winfried Just - 1998 - Journal of Symbolic Logic 63 (3):1193-1194.
Sets and Proofs, Invited Papers from Logic Colloquium '97—European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Thomas Strahm. First steps into metapredicativity in explicit mathematics. Sets and proofs, Invited papers from Logic Colloquium '97—European meeting of the Association for Symbolic Logic, Leeds, July 1997, edited by S. Barry Cooper and John K. Truss, London Mathematical Society lecture note series, no. 258, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1999, pp. 383–402. [REVIEW]Andrea Cantini - 2002 - Bulletin of Symbolic Logic 8 (4):535-536.
Shin Sun-Joo. The logical status of diagrams. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995 , xi + 197 pp. [REVIEW]Eric M. Hammer - 1996 - Journal of Symbolic Logic 61 (1):341-342.
Matthew Foreman. A descriptive view of ergodic theory. Descriptive set theory and dynamical systems, edited by M. Foreman, A. S. Kechris, A. Louveau, and B. Weiss, London Mathematical Society lecture note series, no. 277, Cambridge University Press, Cambridge, New York, etc., 2000, pp. 87–171. [REVIEW]Greg Hjorth - 2001 - Bulletin of Symbolic Logic 7 (4):545-546.
Motivic integration and its interactions with model theory and non-Archimedean geometry, Volumes I and II, edited by Raf Cluckers, Johannes Nicaise and Julien Sebag, London Mathematical Society Lecture Note Series, 383 and 384. Cambridge University Press, Cambridge, 2011, 346 and 262 pp. [REVIEW]Julia Gordon - 2013 - Bulletin of Symbolic Logic 19 (2):216-219.
Krajíček Jan. Bounded arithmetic, propositional logic, and complexity theory. Encyclopedia of mathematics and its applications, vol. 60. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, xiv + 343 pp. [REVIEW]P. Clote - 1999 - Journal of Symbolic Logic 64 (3):1357-1362.
Beller A., Jensen R., and Welch P.. Coding the universe. London Mathematical Society lecture note series, no. 47. Cambridge University Press, Cambridge etc. 1982, 353 pp. [REVIEW]Sy D. Friedman - 1985 - Journal of Symbolic Logic 50 (4):1081-1081.
J.-J. Ch. Meyer and W. Van Der Hoek. Epistemic logic for AI and computer science. Cambridge tracts in theoretical computer science, no. 41. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, xiii + 354 pp. [REVIEW]Rineke Verbrugoe - 1999 - Journal of Symbolic Logic 64 (4):1837-1840.
Prest Mike. Model theory and modules. London Mathematical Society lecture note series, no. 130. Cambridge University Press, Cambridge etc. 1988, xviii + 380 pp. [REVIEW]T. G. Kucera - 1989 - Journal of Symbolic Logic 54 (3):1115-1118.
Azzouni Jody. Metaphysical myths, mathematical practice. The ontology and epistemology of the exact sciences. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1994, ix + 249 pp. [REVIEW]Mark Balaguer - 1995 - Journal of Symbolic Logic 60 (4):1312-1314.

Analytics

Added to PP
2014-03-30

Downloads
30 (#502,094)

6 months
2 (#1,136,865)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references