000 00787nmm a2200253Ia 4500
008 140908s9999 xx 000 0 und d
020 _a9783764373047, 978-3-7643-7304-7
040 _aNISER LIBRARY
041 _aEnglish
082 _a511.3,
_b23
245 _aLogica Universalis
260 _aBasel
_bBirkhäuser Basel
_c2005.
500 _aMathematics and Statistics (Springer-11649)
650 _aLogic, Symbolic and mathematical
650 _aArithmetic and Logic Structures
650 _aComputer science
650 _aMathematical Logic and Formal Languages
650 _aMathematical Logic and Foundations
650 _aMathematics
650 _aMathematics
700 _aBeziau, Jean-Yves., editor.
856 _uhttp://dx.doi.org/10.1007/b137041
942 _cEB
999 _c14408
_d14408