Godel's proof
| প্রধান লেখক: | |
|---|---|
| অন্যান্য লেখক: | |
| বিন্যাস: | গ্রন্থ |
| ভাষা: | অজানা বা ভুল ভাষা ইংরেজি |
| প্রকাশিত: |
New York University Press
2001
|
| বিষয়গুলি: |
সূচিপত্রের সারণি:
- Foreword -- Acknowledgments -- Introduction -- The Problem of Consistency -- Absolute Proofs of Consistency -- The Systematic Codification of Formal Logic -- An Example of a Successful Absolute Proof of -- Consistency -- The Idea of Mapping and Its Use in