- 热门电子书排行
- 标签列表
-
-
Proofs and Algorithms: An Introduction to Logic and Computability - Gilles Dowek 电子书下载
Proofs and Algorithms: An Introduction to Logic and Computability - Gilles DowekGilles Dowek ...
02-05 [ computer ]
-
The Greatest Lie on Earth: Proof That Our World Is Not a Moving Globe 电子书下载
This book reveals the mother of all conspiracies. It sets forth biblical proof and irrefutable evidence that will cause the scale ...
02-24 [ None ]
-
-
Proof Theory of N4-Paraconsistent Logics 电子书下载
The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of ...
05-03 [ None ]
-