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