| 000 | 00868nam a2200241 a 4500 | ||
|---|---|---|---|
| 008 | 221201s2021^^^^sz^a^^^^^^^^^^000^0^eng^d | ||
| 020 | _a9783030571443 | ||
| 020 | _a9783030571474 | ||
| 035 | _aMX001002178683 | ||
| 040 |
_aUNAMX _bspa _erda _cUNAMX |
||
| 050 | 4 |
_aQA9.54 _bI53 |
|
| 100 | 1 |
_aIndrzejczak, Andrzej, _eautor |
|
| 245 | 1 | 0 |
_aSequents and trees : _ban introduction to the theory and applications of propositional sequent calculi / _cAndrzej Indrzejczak |
| 264 | 1 |
_aCham, Switzerland : _bSpringer, _c[2021] |
|
| 300 |
_axvi, 345 páginas : _bilustraciones |
||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 490 | 0 |
_aStudies in universal logic, _x2297-0282 |
|
| 500 | _aBirkhäuser--Portada | ||
| 650 | 4 | _aTeoría de la demostración | |
| 650 | 4 | _aLógica simbólica y matemática | |
| 999 |
_c50292 _d50292 |
||