Logical methods in mathematics and computer science: A symposium in honor of Anil Nerode's sixtieth birthday

Journal of Symbolic Logic 58 (3):1091-1092 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200021150

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,164

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Anil Nerode & Richard A. Shore, Logic for Applications, Springer-Verlag, 1993. [REVIEW]Erkan Tin & Varol Akman - 1995 - ACM SIGACT News 26 (1):20-22.
In honor of James E. Baumgartner’s sixtieth birthday.M. Groszek - 2006 - Annals of Pure and Applied Logic 144 (1-3):1.
O związkach informatyki z matematyką.Izabela Bondecka-Krzykowska - 2010 - Filozofia Nauki 18 (1).
Reducibility orderings: Theories, definability and automorphisms.Anil Nerode & Richard A. Shore - 1980 - Annals of Mathematical Logic 18 (1):61-89.
Anil Nerode and Richard A. Shore, Logic for Applications.W. Van Der Hoek - 1998 - Journal of Logic Language and Information 7:228-229.
Logic for applications, Anil Nerode and Richard A. shore.Wiebe van der Hoek - 1998 - Journal of Logic, Language and Information 7 (2):228-229.
Review: Anil Nerode, Richard A. Shore, Logic for Applications. [REVIEW]Fahiem Bacchus - 1999 - Journal of Symbolic Logic 64 (1):404-405.
Demarcating Computer Science.Dana Burkart - unknown
NIHILISM: Heidegger/jünger/aristotle.Thomas Sheehan - manuscript
Recursion theory.Anil Nerode & Richard A. Shore (eds.) - 1985 - Providence, R.I.: American Mathematical Society.
The philosophical novelty of computer simulation methods.Paul Humphreys - 2009 - Synthese 169 (3):615 - 626.
LFCS 2013.Sergei Artemov & Anil Nerode (eds.) - 2013 - Springer.
Emergence and Evolution of Natural Languages: New Mathematical and Algorithmic Perspectives.Edward G. Belaga - 2008 - In Proceedings of Language, Communication and Cognition International Conference, Brighton, August 4th-7th 2008.
Abstraction in computer science.Timothy Colburn & Gary Shute - 2007 - Minds and Machines 17 (2):169-184.
Preface.Anil Nerode - 2004 - Annals of Pure and Applied Logic 126 (1-3):1-2.

Analytics

Added to PP
2014-04-04

Downloads
10 (#1,123,760)

6 months
3 (#880,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references