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

1

Cover is for reference only

Main Authors: Kennedy, Juliette, 1955- (Author)
Published: Cambridge University Press,
Publication Dates: 2022.
Call Number: O141/K359

Book

2

Cover is for reference only

Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /

Corporate Authors: SpringerLink Online service
Group Author: Kennedy, Juliette; Queiroz, Ruy J. G. B. de
Published: Springer Berlin Heidelberg : Imprint: Springer,
Publication Dates: 2017.

eBook

3

Cover is for reference only

Logic without borders : essays on set theory, model theory, philosophical logic and philosophy of mathematics /

Corporate Authors: De Gruyter.
Group Author: Hirvonen, Asa; Kontinen, Juha; Kossak, Roman; Villaveces, Andr s
Published: De Gruyter,
Publication Dates: [2015]

eBook

Narrow Search