Higher-Order Logic and Type Theory
Higher-Order Logic and Type Theory
Bell, John L.
Cambridge University Press
03/2022
75
Mole
Inglês
9781108986908
15 a 20 dias
131
Higher-Order Logic and Type Theory
Bell, John L.
Cambridge University Press
03/2022
75
Mole
Inglês
9781108986908
15 a 20 dias
131