Logic colloquim ( 1984 : Manchester) (Meeting Name)

Number of records used in: 1

Preferred form: Logic colloquim ( 1984 : Manchester)

Machine generated authority record.

Work cat.: (): Logic colloquim ( 1984 : Manchester), Proceeding of the colloquim held in Manchester, U. K. july 1984 /, 1986