IMSc Library catalog › ISBD view

Normal view MARC view ISBD view

Kahle, Reinhard. Ed. Schroeder-Heister, Peter. Ed. Stark, Robert. Ed.

Proof Theory in Computer Science, Proceedings of the International Seminar, Germany, 2001 - Berlin Springer 2001 - 238 - Lecture notes in computer science ; 02183 .

ISBN: 354042752X

Subjects--Topical Terms:
Proof Theory
Computer Science

Universal Decimal Class. No.: 681 LNCS

Print
Suggest for purchase
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)