作者SpringerLink (Online service)
書名Larisa Maksimova on implication, interpolation, and definability [electronic resource] / edited by Sergei Odintsov
出版項Cham : Springer International Publishing : Imprint: Springer, 2018
其他作者Odintsov, Sergei
說明xii, 371 p. : ill., digital ; 24 cm
系列Outstanding contributions to logic, 2211-2758 ; v.15
Outstanding contributions to logic ; v.15
主題Philosophy -- Logic
Philosophy -- Mathematical Logic and Foundations
Philosophy -- Logics and Meanings of Programs
Philosophy -- Analytic Philosophy
Philosophy -- Arithmetic and Logic Structures
Philosophy
Logic
Mathematical Logic and Foundations
Logics and Meanings of Programs
Analytic Philosophy
Arithmetic and Logic Structures
ISBN/ISSN9783319699172 (electronic bk.)
9783319699165 (paper)
10.1007/978-3-319-69917-2
QRCode
相關連結: 連線到 https://dx.doi.org/10.1007/978-3-319-69917-2 (網址狀態查詢中....)
館藏地 索書號 條碼 處理狀態  

Go to Top