Studies in Logic and the Foundations of Mathematics

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