|
|
|
|
| LEADER |
01322nam a22003015a 4500 |
| 001 |
28341 |
| 003 |
AR-SrUBC |
| 005 |
20210617173006.0 |
| 007 |
t||||||||||||| |
| 008 |
051023m||||||||sp #||||r|||||||||||spa|| |
| 020 |
|
|
|a 8428310297
|
| 040 |
|
|
|a AR-SrUBC
|b spa
|e rcaa2
|
| 080 |
|
|
|a 510.6
|2 2000 ES
|
| 100 |
1 |
|
|a Feys, Robert.
|9 21736
|
| 245 |
1 |
4 |
|a Los símbolos de la lógica matemática.
|c Robert Feys y Frederic B. Fitch.
|
| 260 |
|
|
|a Madrid :
|b Paraninfo,
|c 1980.
|
| 300 |
|
|
|a 189 p. ;
|c 21 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 490 |
|
0 |
|a Lógica y teoría de la ciencia
|
| 505 |
0 |
0 |
|a Contenido: Preliminares. Cálculo proposicional. El cálculo funcional de primer orden. Cálculos funcionales de orden superior. La teoría de tipos. Lógica combinatoria. Cálculo de clases. Cálculo de relaciones. La aritmética formalizada como disciplina independiente. Los números según se definen en sistemas de lógica. Matemática.
|
| 534 |
|
|
|t Dictionary of symbols of mathematical logic / Guillermo Rosique Puerta
|
| 650 |
|
7 |
|a LOGICA MATEMATICA
|2 lemb3
|9 55623
|
| 650 |
|
7 |
|a LOGICA SIMBOLICA
|2 lemb3
|9 10609
|
| 700 |
1 |
|
|a Fitch, Frederic B.
|9 55624
|
| 942 |
|
|
|2 cdu
|b 2005-10-23
|c BK
|d 030620
|h 510.6
|i FEYs
|z CT
|6 5106_FEYS
|
| 999 |
|
|
|c 28341
|d 28341
|