2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Bob Carpenter. Type-Logical Semantics.
Сообщение30.12.2018, 22:08 
Заслуженный участник
Аватара пользователя


03/06/08
864
МО
Bob Carpenter. Type-Logical Semantics.
Ищется.

 Профиль  
                  
 
 Re: Bob Carpenter. Type-Logical Semantics.
Сообщение31.12.2018, 03:54 
Заслуженный участник


15/05/05
3397
USA
на Library Genesis

 Профиль  
                  
 
 Re: Bob Carpenter. Type-Logical Semantics.
Сообщение31.12.2018, 10:29 
Заслуженный участник
Аватара пользователя


03/06/08
864
МО
Yuri Gendelman
Скачал, спасибо!

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 3 ] 

Модератор: Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group