|
|
|
|
| LEADER |
01390nam a22002895a 4500 |
| 001 |
23921 |
| 003 |
AR-SrUBC |
| 005 |
20210617165309.0 |
| 007 |
t||||||||||||| |
| 008 |
010113m||||||||ag #||||r|||||||||||spa|| |
| 040 |
|
|
|a AR-SrUBC
|b spa
|e rcaa2
|
| 044 |
|
|
|a ag
|c AR
|
| 080 |
|
|
|a 510.24
|
| 080 |
|
|
|a 519.217
|2 2000 ES
|
| 100 |
1 |
|
|a Martínez de la Fuente, Marta.
|9 45733
|
| 245 |
1 |
3 |
|a El intuicionismo matemático :
|b una filosofía constructivista /
|c Marta Martínez de la Fuente.
|
| 260 |
|
|
|a Buenos Aires :
|b Eudeba,
|c 1977.
|
| 300 |
|
|
|a viii, 133 p. ;
|c 22 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 490 |
|
0 |
|a Temas
|
| 505 |
0 |
0 |
|a Contenido: Introducción -- La constructividad en metamatemática -- Fundamentación constructivista -- Otras fundamentaciones -- Intuicionismo. Una teoría constructiva -- Evolución del intuicionismo -- Intuicionismo de Brouwer y Heyting -- La lógica intuicionista -- Reflexiones -- Teoría de las funciones recursivas -- La lógica conmbinatoria -- Algoritmos de Markov -- La matemática operativa -- La máquina de turing -- El sistema de Wang.
|
| 650 |
|
7 |
|a MATEMATICAS INTUICIONISTAS
|2 lemb3
|9 45734
|
| 650 |
|
7 |
|a MATEMATICAS CONSTRUCTIVAS
|2 lemb3
|9 45735
|
| 942 |
|
|
|2 cdu
|a UNLPam.LUFEXA.Lubomirsky
|b 2001-01-13
|c BK
|d 025746
|h 510.24
|i MARi
|z NO
|6 51024_MARI
|
| 999 |
|
|
|c 23921
|d 23921
|