عنوان

Logic Colloquium'80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic

Logic Colloquium'80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic

1980 : Prague, Czechoslovakia

Amsterdam

North-Holland

1982

x, 342p

Studies in logic and the foundations of mathematics; Vol. 801

The Colloquium held in Prague, August 24-30, 1980

Includes bibliographies

ISBN: 0444864652

edited by D. van Dalen, D. Lascar, T.J. Smiley

Congresses ، Logic, Symbolic and mathematical

A1L63

1980

AU Dalen, Dirk van, 1932-

AU Lascar, Daniel, 1942-

AU Smiley, Timothy John, 1930-

Logic colloquium