@book
{TN_libero_mab2,
author = {
Mints, G. E.
},
title = {
Selected papers in proof theory
},
publisher = {Bibliopolis [u.a.]},
isbn = {8870882284},
isbn = {0444896198},
keywords = {
Mathematical logic
,
Proof theory
},
year = {1992},
abstract = {Includes bibliographical references},
booktitle = {Studies in proof theory ; Monographs ; 3},
address = {
Napoli [u.a.]
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}