Proof Theory and Intuitionistic Systems (Lecture Notes in Mathematics)

Scarpellini

von Bruno Scarpellini

Springer Berlin Heidelberg · 1971

Taschenbuch

ISBN: 978-3-540-05541-9

ISBN-10: 3-540-05541-X