The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Pitts Andrew M. Dybjer P. (eds.)
Semantics and logics of computation: [... summer school on Semantics and Logics of Computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge UK, in September 1995]
djvu
Author:
Pitts Andrew M. Dybjer P. (eds.)
Language:
English
Year:
1997
0
0
30.01.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
![book Semantics and logics of computation: [... summer school on Semantics and Logics of Computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge UK, in September 1995]](/covers/files_170/2359000/90c40e1eed57beed17a38f9fbed9ef73-g.jpg)