|
|
|
|
| LEADER |
01048nam a22002655a 4500 |
| 001 |
20932 |
| 003 |
AR-SrUBC |
| 005 |
20210617145400.0 |
| 007 |
t||||||||||||| |
| 008 |
000401m||||||||enk#||||r|||||||||||spa|| |
| 020 |
|
|
|a 0521631076
|
| 040 |
|
|
|a AR-SrUBC
|b spa
|e rcaa2
|
| 080 |
|
|
|a 510=20
|2 1995 ES
|
| 100 |
1 |
|
|a Taylor, Paul,
|d 1960-.
|9 40400
|
| 245 |
1 |
0 |
|a Practical foundations of mathematics.
|c Paul Taylor.
|
| 260 |
|
|
|a Cambridge :
|b Cambridge University Press,
|c 1999.
|
| 300 |
|
|
|a xi, 572 p. ;
|c 23 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 490 |
|
0 |
|a Cambridge studies in advanced mathematics
|v 59
|
| 505 |
0 |
0 |
|a Contenido: First order reasoning -- Types and induction -- Posets and lattices -- Cartesian closed categories -- Limits and colimits -- Structural recursion -- Adjunctions -- Algebra with dependent types -- The quantifiers.
|
| 650 |
|
7 |
|a MATEMATICAS
|2 lemb2
|9 2786
|
| 942 |
|
|
|2 cdu
|b 2000-04-01
|c BK
|d 022128
|h 510=20
|i TAYp
|z NO
|6 51020_TAYP
|
| 999 |
|
|
|c 20932
|d 20932
|