Realizability: An introduction to its categorical side
Jaap van Oosten
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 as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area. - The first book to date on this subject area - Provides an clear introduction to Realizability with a comprehensive bibliography - Easy to read and mathematically rigorous - Written by an expert in the field
Kategorien:
Jahr:
2008
Verlag:
Elsevier Science
Sprache:
english
Seiten:
327
ISBN 10:
1435628748
ISBN 13:
9781435628748
Serien:
Studies in Logic and the Foundations of Mathematics, Volume 152
Datei:
PDF, 4.42 MB
IPFS:
,
english, 2008
Amazon 
Barnes & Noble 
Bookshop.org
Möchten Sie Ihren Buchladen hinzufügen? Kontaktieren Sie uns unter support@z-lib.do
Konvertieren Sie Dateien
Mehr Suchergebnisse
Andere Vorteile 
![Thomas Streicher — Introduction to Category Theory and Categorical Logic [Lecture notes]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/7542df14f067d1500469af6b811fe9f2a6db2a77692b368a1d5413388df05f4c.jpg)
![Thomas Streicher — Categorical Models of Constructive Logic [Lecture notes]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/8d2fcb097a05c423be04a0692d2f891b12f96fea74b58656fbff9c95a9700b18.jpg)
![Thomas Streicher — Realizability [Lecture notes]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/3ea812ae18c515903372e289d87ae43a2dbe7f230feee5c0c7bffdbbbda8d7be.jpg)
![Jonas Frey — A Universal Characterisation of the Tripos-to-Topos Construction [thesis]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/8a18327eef000ad496ccf771c44d7d96bd16dfc2f263c0fe24b29fe97264d123.jpg)
