People, Problems, and Proofs : Essays from Gödel's Lost Letter: 2010 /
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | |
| Язык: | английский |
| Опубликовано: |
Berlín, Alemania :
Springer,
2013, c2013
|
| Online-ссылка: | Ver documento en línea |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы: People, Problems, and Proofs :
- The P=NP Question and Gödel.s Lost Letter /
- Memoirs of a Proof Theorist : Gödel and Other Logicians /
- Tests and Proofs : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /
- Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
- Proofs and Algorithms : An Introduction to Logic and Computability /
- Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday /