SubTitle

Proceedings of the colloquium held in padova, ...

Collation

V.: Figs

Addition

,

Title

Logic colloquium '88

LC Class

511

LC Number

.3

LC CutterNumber

L 832

Publication Year

1989

Publication

North-Holland

Series

Studies in logic and The foundations of mathematics; V.127

Subject

Logic, symbolic and mathematical

Editor

R. Ferro, ... [et al.]

DocumentNumber

1417

ISBNN

, 1 , 464 , 2-1

RecordNumber

474