| 000 | 00389nam a2200145Ia 4500 | ||
|---|---|---|---|
| 999 |
_c170325 _d170325 |
||
| 020 | _a9781402094088 | ||
| 040 | _cCUS | ||
| 082 |
_a511.313 _bMET/P |
||
| 100 | _aMetcalfe, George | ||
| 245 | 0 |
_aProof theory for fuzzy logics/ _cGeorge Metcalfe, Nicola Olivetti and Dov Gabbay |
|
| 260 |
_aDordrecht: _bSpringer, _cc2009. |
||
| 300 |
_aviii, 276 p. : _bill. ; _c24 cm. |
||
| 440 |
_a(Applied logic series), _v36 |
||
| 505 | _aThe Semantic basis -- Hilbert systems -- Gentzen systems -- Syntactic eliminations -- Fundamental logics -- Uniformity and efficiency -- First-order logics -- Further topics. | ||
| 650 | _aProof theory | ||
| 650 | _aFuzzy logic | ||
| 650 | _aLogic | ||
| 650 | _aAlgebra | ||
| 650 | _aMathematics | ||
| 700 | _aOlivetti, Nicola | ||
| 700 | _aGabbay, Dov | ||
| 942 | _cWB16 | ||