Introduction to the Senses: From Biology to Computer Science. By Terry R. J. Bossomaier. Cambridge and New York: Cambridge University Press. $75.00. xi + 345 p. + 4 pl.; ill.; index. ISBN: 978-0-521-81266-5. 2012.

doi:10.1086/671559

Introduction to the Senses: From Biology to Computer Science. By Terry R. J. Bossomaier. Cambridge and New York: Cambridge University Press. $75.00. xi + 345 p. + 4 pl.; ill.; index. ISBN: 978-0-521-81266-5. 2012.

The Quarterly Review of Biology ◽

10.1086/671559 ◽

2013 ◽

Vol 88 (3) ◽

pp. 259-259

Keyword(s):

New York ◽

Computer Science ◽

Cambridge University ◽

The Senses

Download Full-text

Book ReviewsFundamentals of Traffic SimulationBarceló Jaume 2010 Springer New York 492 $189.00Handbook of Terminal PlanningBöse Jürgen W. 2011 Springer New York 454 $189.00Boolean Models and Methods in Mathematics, Computer Science, and EngineeringCrama Yves Hammer Peter L. 2010 Cambridge University Press New York 759 $175.00Boolean Functions: Theory, Algorithms, and ApplicationsCrama Yves Hammer Peter L. 2011 Cambridge University Press New York 687 $150.00

INFORMS Journal on Applied Analytics ◽

10.1287/inte.1120.0636 ◽

2012 ◽

Vol 42 (5) ◽

pp. 507-511

Author(s):

Graham K. Rand

Keyword(s):

New York ◽

Computer Science ◽

Cambridge University

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

Page, E. S. / Wilson, L. B. Information Representation and Manipulation in a Computer. Second Edition. Cambridge Computer Science Texts 2. Cambridge-London-New York-Melbourne, Cambridge University Press 1979. 271 S., £ 10.00 A H/C, £ 3.95 A P/B. ISBN 0521 220882 H/C; 0521 29357 P/B

ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik ◽

10.1002/zamm.19800600514 ◽

1980 ◽

Vol 60 (5) ◽

pp. 271-272

Author(s):

W. Issel

Keyword(s):

New York ◽

Computer Science ◽

Information Representation ◽

Science Texts ◽

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

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

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