Browse editions

Current edition
Realizability: An Introduction to Its Categorical Side by Jaap van Oosten
Realizability: An Introduction to Its Categorical Side
—
Jaap van Oosten

Realizability: An Introduction to Its Categorical Side

Studies in Logic and the Foundations of Mathematics

Jaap van Oosten

327 pages • first pub 1998 (editions)

nonfiction computer science mathematics medium-paced
Other editions (1)
Expand filter menu Filter editions
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