PROCEEDINGS OF THE HERBRAND SYMPOSIUM LOGIC COLLOQUIUM '81:

LOGIC, SYMBOLIC AND MATHEMATICAL,LOGIC, SYMBOLIC AND MATHEMATICAL -- CONGRESSES.,

PROCEEDINGS OF THE HERBRAND SYMPOSIUM LOGIC COLLOQUIUM '81:

Par BARWISE J. ET AL.

ISBN 13

9780444864178

ISBN 10

N/A

Éditeur

NORTH-HOLLAND PUBLISHING COMPANY

Année

1982

Pages

—

Reliure

HB