经管之家App
让优质教育人人可得
立即打开
Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph. D. theses, unpublished papers, etc. has been mo...
书目详细资料主要作者:
Oosten, Jaap van (Author)团体作者:
Elsevier Science and Technology出版社:
Oxford : Elsevier, 2008.出版地:
Oxford :文献类型:
电子书语言:
英语版:
First edition.丛书名:
Studies in logic and the foundations of mathematics ; 152主题:
Logic, Symbolic and mathematical
Realizability. An Introduction to its Categorical Side - Jaap van Oosten [Studie.pdf
只需: 10 个论坛币 马上下载
Realizability : an introduction to its categorical side
wxwpxh 发表于 2023-2-18 19:53
封面仅供参考
Realizability : an introduction to its categorical side /
Aimed at st ...
扫码加好友，拉您进群
全部版块
我的主页
收藏
