Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (26 chapters)
Editors and Affiliations
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