J. Roger Hindley. Basic simple type theory. Cambridge tracts in theoretical computer science, no. 42. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, xi + 186 pp.

Anton Setzer

doi:10.2307/2586820

J. Roger Hindley. Basic simple type theory. Cambridge tracts in theoretical computer science, no. 42. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, xi + 186 pp.

Journal of Symbolic Logic ◽

10.2307/2586820 ◽

1999 ◽

Vol 64 (4) ◽

pp. 1832-1833

Author(s):

Anton Setzer

Keyword(s):

New York ◽

Computer Science ◽

Type Theory ◽

Theoretical Computer Science ◽

Simple Type ◽

Theoretical Computer ◽

Cambridge University ◽

Simple Type Theory

Download Full-text

Harold Simmons. Derivation and computation. Taking the Curry-Howard correspondence seriously. Cambridge tracts in theoretical computer science, vol. 51. Cambridge University Press, Cambridge, New York, etc., 2000, xxv + 384 pp.

Bulletin of Symbolic Logic ◽

10.2307/2687758 ◽

2001 ◽

Vol 7 (3) ◽

pp. 380-383

Author(s):

Norman Danner

Keyword(s):

New York ◽

Computer Science ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Cambridge University

Download Full-text

Jean-Yves Girard. Linear logic. Theoretical computer science, vol. 50 (1987), pp. 1–101. - A. S. Troelstra. Lectures on linear logic. CSLI lecture notes, no. 29. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, New York, ix + 200 pp.

Journal of Symbolic Logic ◽

10.2307/2275616 ◽

1996 ◽

Vol 61 (1) ◽

pp. 336-338

Author(s):

Herman Ruge Jervell

Keyword(s):

New York ◽

Computer Science ◽

Linear Logic ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Cambridge University ◽

Lecture Notes

Download Full-text

Jon Barwise and Jerry Seligman. Information flow. The logic of distributed systems. Cambridge tracts in theoretical computer science, no. 44. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, xv + 274 pp.

Journal of Symbolic Logic ◽

10.2307/2586823 ◽

1999 ◽

Vol 64 (4) ◽

pp. 1836-1836

Author(s):

Maarten De Rijke

Keyword(s):

New York ◽

Distributed Systems ◽

Computer Science ◽

Information Flow ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Cambridge University

Download Full-text

A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Cambridge tracts in theoretical computer science, no. 43. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xi + 343 pp.

Journal of Symbolic Logic ◽

10.2307/2586674 ◽

1998 ◽

Vol 63 (4) ◽

pp. 1605-1606

Author(s):

Roy Dyckhoff

Keyword(s):

New York ◽

Computer Science ◽

Proof Theory ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Cambridge University

Download Full-text

Patrick Blackburn, Maarten De Rijke, and Yde Venema. Modal logic. Cambridge tracts in theoretical computer science, no. 53. Cambridge University Press, Cambridge, New York, etc., 2001, xxii + 554 pp.

Bulletin of Symbolic Logic ◽

10.2178/bsl/1182353875 ◽

2002 ◽

Vol 8 (2) ◽

pp. 299-301

Author(s):

Marcus Kracht

Keyword(s):

New York ◽

Modal Logic ◽

Computer Science ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Cambridge University

Download Full-text

A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of JSL LXIII 1605. Cambridge tracts in theoretical computer science, no. 43. Cambridge University Press, Cambridge, New York, etc., 2000, xii + 417 pp.

Bulletin of Symbolic Logic ◽

10.2307/2687781 ◽

2001 ◽

Vol 7 (2) ◽

pp. 280-280

Author(s):

Roy Dyckhoff

Keyword(s):

New York ◽

Computer Science ◽

Proof Theory ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Cambridge University

Download Full-text

L. T. F. Gamut (pseudonym). Logica, taal en betekenis. Volume I. Inleiding in de logica. Dutch original of volume I of the preceding. Het Spectrum, De Meern1982, 351 pp. - L. T. F. Gamut (pseudonym). Logica, taal en betekenis. Volume II. Intensionele logica en logische grammatica. Dutch original of volume II of the preceding. Het Spectrum, De Meern1982, 422 pp. - J. B. Paris The uncertain reasoner's companion. A mathematical perspective. Cambridge tracts in theoretical computer science, no. 39. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995 (© 1994), x + 212 pp.

Journal of Symbolic Logic ◽

10.2307/2275620 ◽

1996 ◽

Vol 61 (1) ◽

pp. 346-347

Author(s):

Henry E. Kyburg

Keyword(s):

New York ◽

Computer Science ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Cambridge University

Download Full-text

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.

Journal of Symbolic Logic ◽

10.2307/2586825 ◽

1999 ◽

Vol 64 (4) ◽

pp. 1837-1840 ◽

Cited By ~ 1

Author(s):

Rineke Verbrugoe

Keyword(s):

New York ◽

Computer Science ◽

Epistemic Logic ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Cambridge University

Download Full-text

María Manzano. Extensions of first order logic. Cambridge tracts in theoretical computer science, no. 19. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xxii + 388 pp.

Journal of Symbolic Logic ◽

10.2307/2586742 ◽

1998 ◽

Vol 63 (3) ◽

pp. 1194-1196

Author(s):

Yde Venema

Keyword(s):

New York ◽

Computer Science ◽

Theoretical Computer Science ◽

Order Logic ◽

First Order Logic ◽

Theoretical Computer ◽

Cambridge University ◽

First Order

Download Full-text

Thomas Streicher. Semantics of type theory. Correctness, completeness and independence results. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, xii + 298 pp.

Journal of Symbolic Logic ◽

10.2307/2275776 ◽

1995 ◽

Vol 60 (3) ◽

pp. 1020-1021

Author(s):

Markus Marzetta

Keyword(s):

Computer Science ◽

Type Theory ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Independence Results

Download Full-text