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

E-ISSN： 1943-5886|58|3|1091-1092

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.58, Iss.3, 1993-09, pp. : 1091-1092

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics Kurt GÖdel's Legacy

Bulletin of Symbolic Logic, Vol. 2, Iss. 4, 1996-12 ,pp. : 473-473

Cambridge University Press

Access to resources Recommend Favorite

Constructivity in computer science: A summer symposium

The Journal of Symbolic Logic, Vol. 58, Iss. 3, 1993-09 ,pp. : 1097-1097

Cambridge University Press

Access to resources Recommend Favorite

A symposium in honor of Alfred Tarski

The Journal of Symbolic Logic, Vol. 36, Iss. 1, 1971-03 ,pp. : 190-190

Cambridge University Press

Access to resources Recommend Favorite

Foreword to the Symposium in Honor of Kazuo Nishimura

By Benhabib Jess

Journal of Difference Equations and Applications, Vol. 13, Iss. 2-3, 2007-02 ,pp. : 97-98

Taylor & Francis Ltd

Access to resources Recommend Favorite

Convergence of Riemannian Manifolds and Laplace Operators, II: Dedicated to Professor Takushiro Ochiai on his sixtieth birthday

By Kasue Atsushi

Potential Analysis, Vol. 24, Iss. 2, 2006-03 ,pp. : 137-194

Springer Publishing Company

Access to resources Recommend Favorite