Skip to navigation
Skip to content
GB Y
Subsystems of Second Order Arithmetic

Perspectives in Logic

  • Managing Editor: Thpmas Scanlon, University of California, Berkeley
  • Editorial board: Michael Benedikt, University of Oxford, Steven A. Cook, University of Toronto, Michael Glanzberg, University of California, Davis, Antonio Montalban, University of Chicago, Michael Rathjen, University of Leeds, Simon Thomas, Rutgers University
  • Readership: logic
  • Level: academic researchers, graduate students

The Perspectives in Logic series publishes substantial and high-quality books whose central theme lies in some area or aspect of logic, particularly books that present new material not available in book form. The series ranges from introductory texts suitable for beginning graduate courses to specialized monographs at the frontiers of research. Each book offers an illuminating perspective for its intended audience.

Series book listing

There are 3 titles in this series

Results per page:

10 20 50

These titles are sorted by publication date (descending)

Lambda Calculus with Types

  • Henk Barendregt, Wil Dekkers, Richard Statman
  • Hardback (ISBN-13: 9780521766142)
  • Publication date: c.August 2013
  • Subject: Logic categories and sets
Series Perspectives in Logic
  • Not yet published - available from July 2013
  • $60.00 (C)

Proofs and Computations

  • Helmut Schwichtenberg, Stanley S. Wainer
  • Hardback (ISBN-13: 9780521517690)
  • View other formats:
  • Publication date: January 2012
  • Subject: Logic categories and sets
Series Perspectives in Logic
  • Temporarily unavailable - no date available
  • $90.00 (Z)

Subsystems of Second Order Arithmetic

  • 2nd Edition
  • Stephen G. Simpson
  • Paperback (ISBN-13: 9780521150149)
  • View other formats:
  • Publication date: February 2010
  • Subject: Logic categories and sets
Series Perspectives in Logic
  • Available
  • $50.00 (Z)

Results per page:

10 20 50

My Cart

You have  in your cart.

Subtotal: