Realizability: An Introduction to its Categorical Side
Jaap van OostenCategorias:
Ano:
2008
Editora:
Elsevier, Academic Press
Idioma:
english
Páginas:
327
ISBN 10:
1435628748
ISBN 13:
9781435628748
Série:
Studies in Logic and the Foundations of Mathematics 152
Arquivo:
PDF, 1.85 MB
IPFS:
,
english, 2008