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
Powered by AI (Beta)
Loading...

Description

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 a...

Read more

Community Reviews

Loading...

Content Warnings

Loading...