Books
Lecture Notes in Logic
> Perspectives in Logic

   Other ASL Books

   Member Discounts

   

Ordering Available Perspectives Volumes

 Editorial Board

Instructions for Authors

 

 

 

 

 

 

 

 

 

 

Perspectives Volumes published by the ASL with Cambridge University Press

Members of the ASL are entitled to a 25% discount on books in the Perspectives in Logic series published by Cambridge University Press. Use code ASL2016.

The books listed below are the new and reprinted volumes published by the ASL in conjunction with Cambridge University Press. To order any of these books, click here.

Available Volumes

Paris and Vencovska: Pure Inductive Logic

Simpson: Subsystems of Second Order Arithmetic, second
edition

Cook and Nguyen: Logical Foundations of Proof Complexity

Schwichtenberg and Wainer: Proofs and Computations

Henk Barendregt, Wil Dekkers, Richard Statman: Lambda Calculus with Types


Older Perspectives Volumes published by Springer-Verlag

The ASL has made available online via Project Euclid those older volumes of Perspectives in Logic owned by the ASL and published in collaboration with Springer-Verlag.

They will soon be available both electronically and for PoD at CUP.


 

>back to Main Perspectives in Logic page

 


[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]