| 000 | 00438nab a2200133Ia 4500 | ||
|---|---|---|---|
| 003 | ES-SlBCS | ||
| 005 | 20210601130132.0 | ||
| 008 | 140529s1997 xxu||||| |||| 00| 0 fre d | ||
| 041 | _afre | ||
| 100 | 1 |
_aBourdeau, Michel _954171 |
|
| 245 | 0 | 0 |
_aLa théorie intuitionniste des types: sémantique des preuves et théorie des constructions _c Michel Bourdeau |
| 773 | 0 |
_tDialogue _gvol. 36, nº. 2, 1997, págs. 323-340 _wRev1515 |
|
| 942 | _cAR | ||
| 999 |
_c541588 _d541588 |
||