| 000 | 00880nam a2200277 i 4500 | ||
|---|---|---|---|
| 001 | 000084273 | ||
| 003 | UVAL | ||
| 005 | 20240507114601.0 | ||
| 007 | ta | ||
| 008 | 170417s2015 nyua g 000 0 eng d | ||
| 020 | _a9783319190624 | ||
| 040 |
_aDIBRA _bspa _cUVAL _erda |
||
| 041 | 0 | _aeng | |
| 082 | 0 | _a121 | |
| 100 | 1 |
_aClerbout, Nicolas, _eautor. |
|
| 245 | 0 | 0 |
_aLinking game-theoretical approaches with constructive type theory : _bdialogical strategies, CTT demonstrations and the axiom of choice / _cNicolas Clerbout, Shahid Rahman. |
| 264 | 1 |
_aNew York : _bSpringer, _c2015. |
|
| 300 |
_axix, 99 páginas : _bilustraciones. . |
||
| 347 |
_2rda _atext file _bPDF |
||
| 650 | 4 | _aCONSTRUCTIVISMO (FILOSOFIA) | |
| 700 | 1 | _aRahman, Shahid. | |
| 942 |
_cBK _2ddc |
||
| 999 |
_c57004 _d57004 |
||