Artículos relacionados a Proof Theory, Constructive Mathematics (Vol 6) (Omega-Biblio...

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

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

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