Perspectives in Logic
出版社:
Springer Cambridge University Press
册数:
5
简介 · · · · · ·
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.
Managing Editors: Arnold Beckmann, Swansea University
Editorial Boards: Jeremy Avigad, Carnegie Mellon University, Pennsylvania, Alessandro Berarducci, Università di Pisa, Rosalie Iemhoff, Utrecht University, Su Gao, Nankai University, Andre Nies, University of Auckland, Nicole Schweikardt, Humboldt-Universität zu Berlin
Managing Editors: Arnold Beckmann, Swansea University
Editorial Boards: Jeremy Avigad, Carnegie Mellon University, Pennsylvania, Alessandro Berarducci, Università di Pisa, Rosalie Iemhoff, Utrecht University, Su Gao, Nankai University, Andre Nies, University of Auckland, Nicole Schweikardt, Humboldt-Universität zu Berlin
按收藏人数排序 /
按出版时间先后排序
-
-
Lambda Calculus with Types
Henk Barendregt、Wil Dekkers、Richard Statman / Cambridge University Press / 2013-7-31 / USD 90.00(少于10人评价)The lambda calculus forms a prototype universal programming language, which in...
-
Subsystems of Second Order Arithmetic
Simpson, Stephen G. / 2009-5 / $ 114.13(少于10人评价)Almost all of the problems studied in this book are motivated by an overriding...
-
-
General Recursion Theory: An Axiomatic Approach
Jens E. Fenstad / Cambridge University Press(目前无人评价)Since their inception, the Perspectives in Logic and Lecture Notes in Logic se...
贡献者:
DestinHistoire