On normalization of proofs in set theory (Dissertationes mathematicae = Rozprawy mathematyczne)

by Lars Hallnas

details (USA).

ISBN: 978-83-01-07604-7

ISBN-10: 83-01-07604-6

Panstwowe Wydawn. Nauk · 1988