Proof theory and logical complexity

logical

by Jean-Yves Girard

Copertina rigida

details (Italy).

ISBN: 978-88-7088-123-3

ISBN-10: 88-7088-123-7

Bibliopolis · 2007