馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Logic and structure

Main Authors: Dalen D. van (Dirk), 1932-
Published: Springer-Verlag,
Publication Dates: 1980.
Call Number: O141/D139/

Book

2

Cover is for reference only

Logic Colloquium '80：papers intended for the European summer meeting of the Association for Symbolic Logic

Corporate Authors: Logic Colloquium (1980 Prague, Czechoslovakia); Association for Symbolic Logic
Group Author: Dalen D. van; (Dirk), 1932-; Lascar D.; (Daniel) 1942-; Smiley T. J.; (Timothy John)
Published: North-Holland Pub. Co.,
Publication Dates: 1982.
Call Number: O141-53/L832/1980/

Book

3

Cover is for reference only

Sets：naïve, axiomatic, and applied : a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students

Main Authors: Dalen D. van (Dirk), 1932- (by D. Van Dalen, H. C. Doets, H. de Swart.)
Group Author: Doets H. C (joint author.); Swart H. C. M. de (joint author.)
Published: Pergamon Press,
Publication Dates: 1978.
Call Number: O144/V224/

Book

4

Cover is for reference only

Computer science logic：10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers

Corporate Authors: European Association for Computer Science Logic. Conference 1996 Utrecht, Netherlands) (Utrecht, Netherlands)); Workshop on Computer Science Logic 1996 Utrecht, Netherlands) (Utrecht, Netherlands))
Group Author: (Dirk), 1932-; Bezem M.; (Marc) 1956-; Dalen D. van
Published: Springer,
Publication Dates: c1997.
Call Number: TP302.2-532/C738/1996/

Book

5

Cover is for reference only

The L.E.J. Brouwer Centenary Symposium：proceedings of the conference held in Noordwijkerhout, 8-13 June 1981

Corporate Authors: L.E.J. Brouwer Centenary Symposium (1981 Noordwijkerhout, Netherlands)
Group Author: Brouwer L. E. J.; (Luitzen Egbertus Jan), 1881-1966.; Troelstra A. S.; (Anne Sjerp); Dalen D. van; (Dirk), 1932-
Published: North-Holland Pub. Co.,
Publication Dates: 1982.
Call Number: O1-53/B876/1981/

Book

Narrow Search