Oosten, Jaap van.

概要

作品:	40 作品在 1 項出版品 1 種語言

書目資訊

Realizability : = an introduction to its categorical side / by: Oosten, Jaap van. (書目-語言資料,印刷品)

Sets, models and proofs by: Oosten, Jaap van.; SpringerLink (Online service); Moerdijk, Ieke. (書目-語言資料,印刷品)

主題