| Title | Proof, logic and formalization |
|---|---|
| Author | Michael Detlefsen (ed.) |
| Year | 1992 |
| Edition | 0 |
| Volume | |
| Series | |
| Publisher | Routledge |
| City | |
| Language | English |
Size: 2.07MB | Pages: 251 |
LLC: N/A | DDC:
