Mathesis Universalis, Computability and Proof
Synthese Library
Centrone, Stefania (EDT)
Negri, Sara (EDT)
Sarikaya, Deniz (EDT)
- 出版社:Springer
- 出版年月:2019年 08月
- ISBN:9783030204464
- 装丁:HRD
-
装丁について
- 言語:ENG
- 巻数・ページ数:373 p.
- 内容紹介:
-
Gottfried Leibniz's philosophy of logic in the Digital Age.