Logical methods

Author Statement

John N. Crossley ... [et al.], editors

Publication

Birkhauser

Publication Year

1993

Collation

813 p.: ill.; 24 cm

Series

Progress in computer science and applied logic ; v. 12

Subject

Logic programming,Logic, Symbolic and mathematical

ADDED ENTRIES

Crossley, John N

Holding Info.

0817636900

Original By

1376/01/19

DocumentNumber

40208

SubTitle

: in honor of Anil Nerodeʹs sixtieth birthday

Biblography

Includes bibliographical references

Link To Document