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

1

Cover is for reference only

Cafe : an industrial-strength algebraic formal method /

Corporate Authors: Elsevier Science & Technology
Group Author: Futatsugi, Kokichi; Tamai, T. Tetsuo; Nakagawa, A. T. Ataru T
Published: Elsevier,
Publication Dates: 2000.

eBook

2

Cover is for reference only

Logic, methodology, and philosophy of science VIII : proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987 /

Corporate Authors: International Congress of Logic, Methodology, and Philosophy of Science Moscow, Russia; Elsevier Science & Technology
Group Author: Fenstad, Jens Erik; Frolov, Ivan Timofeevich; Hilpinen, Risto
Published: North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science,
Publication Dates: 1989.

eBook

3

Cover is for reference only

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /

Corporate Authors: Logic Colloquium Padova, Italy; Elsevier Science & Technology
Group Author: Ferro, R. Ruggero
Published: North-Holland ; Distributed by Elsevier Science Pub. Co.,
Publication Dates: 1989.

eBook

4

Cover is for reference only

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /

Corporate Authors: Logic Colloquium Granada, Spain; Elsevier Science & Technology
Group Author: Ebbinghaus, Heinz-Dieter, 1939
Published: North-Holland ; Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1989.

eBook

5

Cover is for reference only

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /

Corporate Authors: Logic Colloquium Hull, Humberside); Elsevier Science & Technology.
Group Author: Drake, F. R. (Frank Robert); Truss, J. K.
Published: North-Holland,
Publication Dates: 1988.

eBook

6

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 Prague, Czech Republic; Elsevier Science & Technology; 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. ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1982.

eBook

7

Cover is for reference only

Generalized recursion theory II : proceedings of the 1977 Oslo Symposium /

Corporate Authors: Symposium on Generalized Recursion Theory University of Oslo); Elsevier Science & Technology.
Group Author: Fenstad, Jens Erik; Gandy, R. O. (Robin O.); Sacks, Gerald E.
Published: North-Holland Pub. Co.,
Publication Dates: 1978.

eBook

8

Cover is for reference only

Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 /

Corporate Authors: International Congress for Logic, Methodology, and Philosophy of Science Bucharest, Romania; Elsevier Science & Technology; International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science; Academia Republicii Socialiste Roma nia
Group Author: Suppes, Patrick, 1922-2014
Published: North-Holland Pub. Co. ; American Elsevier Pub. Co.,
Publication Dates: 1973.

eBook

Narrow Search