Higher-Order Logic and Type Theory

Higher-Order Logic and Type Theory

ਦੁਆਰਾ John L. Bell
4/5
ਪਹਿਲੀ ਪ੍ਰਕਾਸ਼ਿਤ
2022
ਪ੍ਰਕਾਸ਼ਕ
Cambridge University Press

ਕਿਤਾਬਾਂ

ਸਮਾਨ ਕਿਤਾਬਾਂ