| 000 | 00378naa a2200133a 44500 | ||
|---|---|---|---|
| 001 | STRO-001032 | ||
| 003 | AR-CdUCS | ||
| 005 | 20180506200741.0 | ||
| 008 | 180428s########xx#|||||||||||||||||###|d | ||
| 100 | 1 | _aFreund, M.A. | |
| 245 | 1 | 3 | _aUn sistema lógico de segundo orden conceptualista con operadores lambda ramificados |
| 773 | 0 |
_tCrM. _g72 (1992) 47-71 _nF 2.2 |
|
| 942 | _cAR | ||
| 999 |
_c208087 _d208087 |
||