Higher-Order Logic and Type Theory

Higher-Order Logic and Type Theory

بواسطة John L. Bell
4/5
نشرت لأول مرة
2022
الناشرون
Cambridge University Press

كتب

كتب مماثلة