Realizability : an introduction to its categorical side

Realizability : an introduction to its categorical side

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

Full description

Bibliographic Details
Main Author: Oosten, Jaap van 1940-
Format: Book
Language:English
Published: Oxford: Elsevier, 2008.
Series:Studies in logic and the foundations of mathematics; v. 152
Subjects:
Algebra
Mathematics
Logic
Online Access:Texto completo

MARC

LEADER 00000nam a22000007a 4500
001 20538
003 AR_CdUFM
005 20250403154455.0
006 a|||||o|||| 00| 0
007 cr |||||||||||
008 210609s2008 ||||| |||| 00| 0 eng d
020 |a 9780080560069 
040 |a AR_CdUFM   |b spa  |d AR_CdUFM  
041 |a eng 
100 1 |9 24778  |a Oosten, Jaap van  |d 1940- 
245 1 0 |a Realizability :  |b an introduction to its categorical side  |h [recurso electrónico] /  |c Jaap van Oosten. 
260 |a Oxford:  |b Elsevier,  |c 2008. 
300 |a 1 recurso en línea (309 páginas) :  |b ilustraciones color 
490 |a Studies in logic and the foundations of mathematics;  |v v. 152 
500 |a Libro electrónico EBSCOHost 
505 |t Chapter 1 Partial Combinatory Algebras 
505 |t Chapter 2 Realizability triposes and toposes 
505 |t Chapter 3 The Effective Topos 
505 |t Chapter 4 Variations 
520 |a 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 
650 4 |a Algebra 
650 4 |a Mathematics 
650 4 |a Logic 
856 |u https://search.ebscohost.com/login.aspx?authtype=uid&custid=ns174763&groupid=main&profile=ehost  |y Texto completo  |z Datos para ingreso al texto completo: USUARIO: uncmat CONTRASEÑA: Argentina2025! 
942 |2    |c LIBROELECT 
945 |a MEG  |d 2020-06-09 
999 |c 20538  |d 20536 
952 |0 0  |1 0  |2    |4 0  |7 0  |a MMA  |b MMA  |c EBSCOHost  |d 2021-06-09  |e Compra Subsidio Programa Bibliotecas 2020  |o Libro electrónico EBSCO  |p LE00022  |r 2021-06-09 00:00:00  |u https://search.ebscohost.com/login.aspx?authtype=uid&custid=ns174763&groupid=main&profile=ehost  |w 2021-06-09  |y LIBROELECT  |z Datos para ingreso al texto completo: USUARIO: uncmat CONTRASEÑA: Argentina2025! 

Similar Items