| Logical Foundations of Computer Science Proceedings of the Third International Symposoium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 | | | Editor:
| Nerode, Anil
Matiyasevich, Y. V. | | ISBN: | 978-0-387-58140-8 | | Publication Date: | Jul 1994 | | Publisher: | Springer
| | Book Format: | Paperback | | List Price: | USD $66.95 |
| |