- Scientific, Technical and Medical >
- Mathematics >
- Mathematical foundations >
- Anil Nerode
Browse results
1 Logical Foundations of Computer Science - Tver '92: Tver 92, Second International Symposium, Tver, Russia, July 20-24, 1992 - Proceedings 2nd: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings - Lecture Notes in Computer Science v. 620
by Anil Nerode, Mikhail Taitslin
| Format: | Paperback 524 pages |
|---|---|
| Published: | 24/06/1992 |
Available to order
Usually despatched in 2-3 weeks
£67.99
2 Logical Foundations of Computer Science: 4th International Symposium, Lfcs '97, Yaroslavl, Russia, July, 6 - 12, 1997 - Proceedings - Lecture Notes in Computer Science 1234
| Format: | Paperback 440 pages |
|---|---|
| Published: | 28/05/1997 |
Available to order
Usually despatched in 2-3 weeks
£58.99
3 Logic for Applications - Texts in Computer Science
by Anil Nerode, Richard A. Shore
| Format: | Hardback 476 pages |
|---|---|
| Published: | 01/02/1997 |
Available to order
Usually despatched in 2-3 weeks
£117.00
4 Logical Foundations of Computer Science: International Symposium, LFCS '94, St.Petersburg, Russia, July 11-14, 1994 - Proceedings 3rd - Lecture Notes in Computer Science v. 813
by Anil Nerode, IUrii V. Matiiasevich, Y.U. Matiyasevich
| Format: | Paperback 401 pages |
|---|---|
| Published: | 08/06/1994 |
Available to order
Usually despatched in 2-3 weeks
£47.99
5 Logic for Applications - Texts and Monographs in Computer Science
by Anil Nerode, Richard A. Shore
| Format: | Hardback 382 pages |
|---|---|
| Published: | 31/10/1993 |
Available to order
Usually despatched in 2-3 weeks
£34.00
6 Automata Theory and Its Applications - Progress in Computer Science and Applied Logic (Pcs) v. 21
by Bakhadyr Khoussainov, Anil Nerode
| Format: | Hardback 452 pages |
|---|---|
| Published: | 01/07/2001 |
Available to order
Usually despatched in 7-10 days
£67.99
7 Logical Foundations of Computer Science - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues v. 5407
by Sergei Artemov, Anil Nerode
| Format: | Paperback 480 pages |
|---|---|
| Published: | 18/12/2008 |
Available to order
Usually despatched in 7-10 days
£62.99
8 Handbook of Recursive Mathematics: Recursive Model Theory v.1 - Studies in Logic and the Foundations of Mathematics v.138
by Yu L. Ershov, S.S. Goncharov, Anil Nerode, J.B. Remmel
| Format: | Hardback 664 pages |
|---|---|
| Published: | 30/11/1998 |
Available to order
Usually despatched in 2-3 weeks
£82.50
9 Handbook of Recursive Mathematics: Recursive Algebra, Analysis and Combinatorics v.2 - Studies in Logic and the Foundations of Mathematics v.139
by Yu L. Ershov, S.S. Goncharov, Anil Nerode, J.B. Remmel
| Format: | Hardback 798 pages |
|---|---|
| Published: | 30/11/1998 |
Available to order
Usually despatched in 2-3 weeks
£100.50
10 Logic and Computer Science 1988: Proceedings - Lecture Notes in Mathematics / C.I.M.E. Foundation Subseries 1429
by Piergiorgio Odifreddi, S. Homer, Anil Nerode, R.A. Platek, Gerald E. Sacks, Andre Scedrov
| Format: | Paperback 167 pages |
|---|---|
| Published: | 17/07/1990 |
Available to order
Usually despatched in 2-3 weeks
£22.99
