Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
I tiakina i:
| Kaituhi matua: | |
|---|---|
| Kaituhi rangatōpū: | |
| Ētahi atu kaituhi: | |
| Hōputu: | Tāhiko īPukapuka |
| Reo: | Ingarihi |
| I whakaputaina: |
Milano :
Springer Milan,
2008.
|
| Ngā marau: | |
| Urunga tuihono: | http://dx.doi.org/10.1007/978-88-470-0784-0 |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
Ngā tūemi rite: Deduction, Computation, Experiment
- Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
- Constructive Negations and Paraconsistency
- The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
- Constructive Negations and Paraconsistency
- The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
- Proof, Computation and Agency Logic at the Crossroads /