Jaap Van Oosten

2 books

Realizability: An Introduction to Its Categorical Side by Jaap Van Oosten

Realizability: An Introduction to Its Categorical Side

Studies in Logic and the Foundations of Mathematics

Jaap Van Oosten

310 pages • missing pub info (editions)

nonfiction computer science mathematics medium-paced
Sets, Models and Proofs by Jaap Van Oosten, Ieke Moerdijk

Sets, Models and Proofs

Springer Undergraduate Mathematics

Jaap Van Oosten, Ieke Moerdijk

141 pages • missing pub info (editions)

nonfiction mathematics medium-paced