Proof Theory, Constructive Mathematics (Vol 6) (Omega-Bibliography of Mathematical Logic) - Hardcover

Kister, Jane E.; Dalen, Dirk Van; Troelstra, Anne S.; Muller, Gert H.

 
9783540155249: Proof Theory, Constructive Mathematics (Vol 6) (Omega-Bibliography of Mathematical Logic)

Synopsis

Omega-Bibliography of Mathematical Logic VI: Proof Theory, Constructive Mathematics Omega-Bibliography of Mathematical Logic VI: Proof Theory, Constructive Mathematics

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780387155241: Bibliography of Mathematical Logic: Proof Theory Constructive Mathematics: 6

Featured Edition

ISBN 10:  0387155244 ISBN 13:  9780387155241
Hardcover