3 หนังสืออิเล็กทรอนิกส์โดย H.-D. Ebbinghaus
M. Rodriguez Artalejo & H.-D. Ebbinghaus: Logic Colloquium ’87
Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume.The main areas covered by the conference were Logic, Set Theory, …
PDF
อังกฤษ
DRM
€134.20
H.-D. Ebbinghaus & J. Flum: Mathematical Logic
What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe- matical proofs? Only in this century has there been …
PDF
อังกฤษ
DRM
€69.35
