Baaz

Written by felipemt on 22 Enero 2018. Posted in Julio 2016

Baaz, Matthias
Methods of cut-elimination
Dordrecht : Springer, 2011. vi, 257 p.
QA9.54 B33


Imprimir