Yüklüyor......
Proof analysis : a contribution to Hilbert's last problem /
"This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the pr...
| Asıl Yazarlar: | , |
|---|---|
| Materyal Türü: | Printed Book |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
Cambridge, UK ; New York :
Cambridge University Press,
2011.
|
| Konular: | |
| Online Erişim: | Cover image |
Internet
Cover imageUniversity of Calicut
| Yer Numarası: |
511.3/6 |
|---|---|
| Kopya Bilgisi | Konumu erişilebilir değil. |