| Shelfclass_id | 3.A |
| Sortkey | PTCS |
| Authors | Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk |
| Title | PTCS 2001: Proof Theory in Computer Science: International Seminar: Proceedings |
| Publisher | Springer-Verlag |
| Year | cop. 2001 |
| Languages | eng |
| Isbn | 354042752X |
| Series | Lecture Notes in Computer Science |
| Volume | 2183 |
| Issn | 0302-9743 |
| Description | (kart.) DM66.00 238 s. |
| Record date | 20071029 |
| Location | Berlin |
| Keywords | Programmering, Mathematical logic, Computer programming |
| Urlnote | Skov prenumeration erfodras |
| Urls | http://link.springer.de/link/service/series/0558/tocs/t2183.htm |