Realizability : an introduction to its categorical side /
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 mathematicalElectronic books


雷达卡






京公网安备 11010802022788号







