000 01186nam a2200325 a 4500
001 0000171507
005 20171002063642.0
006 m o u
007 cr cn|||||||||
008 130717s2010 gw a sb 000 0 eng d
020 _z9783868380873
020 _z9783110324525
020 _z9783110324907 (e-book)
035 _a(CaPaEBR)ebr10728776
035 _a(OCoLC)854569223
040 _aCaPaEBR
_cCaPaEBR
050 1 4 _aQA9.54
_b.S35 2010eb
100 1 _aSchindler, Ralf.
245 1 0 _aWays of proof theory
_h[electronic resource] /
_cRalf Schindler (ed.).
260 _aFrankfurt ;
_aNew Brunswick :
_bOntos Verlag,
_c2010.
300 _av, 486 p. :
_bill.
440 0 _aOntos mathematical logic ;
_vv. 2
504 _aIncludes bibliographical references.
533 _aElectronic reproduction.
_bPalo Alto, Calif. :
_cebrary,
_d2013.
_nAvailable via World Wide Web.
_nAccess may be limited to ebrary affiliated libraries.
650 0 _aProof theory.
655 7 _aElectronic books.
_2local
710 2 _aebrary, Inc.
856 4 0 _uhttp://site.ebrary.com/lib/daystar/Doc?id=10728776
_zAn electronic book accessible through the World Wide Web; click to view
908 _a170314
942 0 0 _cEB
999 _c160649
_d160649