Logic and computer science

Author Statement

S. Homer ... [et al.]

Publication

Springer-Verlag

Publication Year

c1990

Collation

162 p.: ill.; 25 cm

Series

Lecture notes in mathematics ; 1429

Subject

Logic, Symbolic and mathematical- Congresses,Programming (Mathematics)- Congresses

ADDED ENTRIES

Homer, S. (Steven)

Holding Info.

3540527346

DocumentNumber

18272

SubTitle

: lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

Editor

editor, P. odifreddi

Biblography

Includes bibliographical references

Link To Document