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

1

Cover is for reference only

Logic and foundations of mathematics：selected contributed papers of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, August 1995

Corporate Authors: International Congress of Logic, Methodology, and Philosophy of Science (10th 1995 Florence, Italy
Group Author: Cantini Andrea; Casari Ettore; Minari Pierluigi
Published: Kluwer Academic,
Publication Dates: c1999.
Call Number: O141-532/I614/1995

Book

2

Cover is for reference only

Logic, construction, computation /

Corporate Authors: De Gruyter.
Group Author: Berger, Ulrich; Diener, Hannes; Schuster, Peter; Seisenberger, Monika
Published: De Gruyter,
Publication Dates: [2012]

eBook

3