Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (26 chapters)
-
Front Matter
About this book
Editors and Affiliations
-
Dept. of Mathematics / Comp. Science, Monash University, Clayton, Australia
John N. Crossley
-
Dept. of Mathematics, University of California at San Diego, La Jolla, USA
Jeffrey B. Remmel
-
Mathematical Sciences Institute, Cornell University, Ithaca, USA
Richard A. Shore, Moss E. Sweedler
Bibliographic Information
Book Title: Logical Methods
Book Subtitle: In Honor of Anil Nerode’s Sixtieth Birthday
Editors: John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler
Series Title: Progress in Computer Science and Applied Logic
DOI: https://doi.org/10.1007/978-1-4612-0325-4
Publisher: Birkhäuser Boston, MA
-
eBook Packages: Springer Book Archive
Copyright Information: Birkhäuser Boston 1993
Hardcover ISBN: 978-0-8176-3690-6Published: 26 January 1994
Softcover ISBN: 978-1-4612-6708-9Published: 14 February 2013
eBook ISBN: 978-1-4612-0325-4Published: 06 December 2012
Series ISSN: 2297-0576
Series E-ISSN: 2297-0584
Edition Number: 1
Number of Pages: XIV, 816
Topics: Math Applications in Computer Science, Applications of Mathematics, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Logics and Meanings of Programs