|
" Logical Methods "
edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
573449
|
| Doc. No
|
:
|
b402668
|
| Main Entry
|
:
|
Crossley, John N.
|
| Title & Author
|
:
|
Logical Methods : In Honor of Anil Nerode's Sixtieth Birthday /\ edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
|
| Publication Statement
|
:
|
Boston, MA :: Birkhäuser Boston :: Imprint: Birkhäuser,, 1993.
|
| Series Statement
|
:
|
Progress in Computer Science and Applied Logic ;; 12
|
| ISBN
|
:
|
9781461203254
|
|
|
:
|
: 9781461267089
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Logic design.
|
| Subject
|
:
|
Mathematics.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Added Entry
|
:
|
Remmel, Jeffrey B.
|
|
|
:
|
Shore, Richard A.
|
|
|
:
|
Sweedler, Moss E.
|
| Added Entry
|
:
|
SpringerLink (Online service)
|
| |