Realizability an introduction to its categorical side

Bibliographische Detailangaben

1. Verfasser:	Oosten, Jaap van (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam, London Elsevier 2008
Schriftenreihe:	Studies in logic and the foundations of mathematics 152
Schlagworte:	Logic, Symbolic and mathematical > Topos
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!