Proofs and algorithms an introduction to logic and computability
Proofs and Algorithms: An Introduction to Logic and Computability Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation. Proofs and Algorithms: An Introduction to Logic and Comput...
| 第一著者: | |
|---|---|
| 団体著者: | |
| フォーマット: | Electronic Resource |
| 言語: | English |
| 出版事項: |
London
Springer London
2011.
|
| 主題: | |
| オンライン･アクセス: | Available for University of the Philippines Diliman via SpringerLink. Click here to access |