Higher-Order Logic and Type Theory

Higher-Order Logic and Type Theory

за John L. Bell
4/5
Вперше опубліковано
2022
Видавці
Cambridge University Press

Книги

Подібні книги