Shared by:txtb
by U. Kohlenbach
This is the first treatment in book format of proof-theoretic transformations -- known as proof interpretations -- that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as
| Announce URL: | http://inferno.demonoid.com:3411/announce |
| Info Hash: | ef6aff78bec02b9b268d62dd75707f8b737c5f4d |
| Creation Date: | Sat, 18 Apr 2009 13:59:34 +0800 |
| This is a Multifile Torrent | |
| Applied Proof Theory - Proof Interpretations and Their Use in Mathematics, Springer (2008).pdf 3.87 MBs | |
| Torrent_downloaded_from_Demonoid.com.txt 47 Bytes | |
| Combined File Size: | 3.87 MBs |
| Piece Size: | 64 KBs |
| Comment: | Applied Proof Theory - Proof Interpretations and Their Use in Mathematics, Springer (2008) |
| Torrent Encoding: | UTF-8 |
| Seeds: | 1 |
| Peers: | 0 |
| Completed Downloads: | 394 |
| Torrent Download: | Torrent Free Downloads |
| Tips: | Sometimes the torrent health info isn't accurate, so you can download the file and check it out or try the following downloads. |
| Direct Download: | Download Files Now |
| Tips: | You could try out the alternative bittorrent clients. |
| Secured Download: | Start Anonymous Download |
| Ads: |
|
