Kahle, Reinhard. Ed., Rathjen, Michael
Gentzens centenary The quest for consistency - New york Springer 2015 - 561
9783319101026
Logic, Mathematics
510.6 KAH
Gentzens centenary The quest for consistency - New york Springer 2015 - 561
9783319101026
Logic, Mathematics
510.6 KAH