000			02151nam a22004575i 4500
001			978-3-540-35886-2
003			DE-He213
005			20190213151446.0
007			cr nn 008mamaa
008			121227s1968 gw | s |||| 0|eng d
020			_a9783540358862 _9978-3-540-35886-2
024	7		_a10.1007/BFb0079093 _2doi
050		4	_aQA8.9-10.3
072		7	_aPBC _2bicssc
072		7	_aMAT018000 _2bisacsh
072		7	_aPBC _2thema
072		7	_aPBCD _2thema
082	0	4	_a511.3 _223
245	1	0	_aProceedings of the Summer School in Logic Leeds, 1967 _h[electronic resource] : _bN.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic / _cedited by M. H. Löb.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c1968.
300			_aIV, 331 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Mathematics, _x0075-8434 ; _v70
505	0		_aLectures on proof theory -- Partitions and models -- Klassen rekursiver funktionen -- Hyperarithmetic ultrafilters -- Recursive equivalence: A survey -- Half-ring morphologies -- Formalisations of some ?0 ?ukasiewicz propositional calculi -- Theories which are not ?o-categorical -- The monadic fragment of predicate calculus with the Chang quantifier and equality -- The ? 1 1 -comprehension schema and ?-rules.
650		0	_aLogic, Symbolic and mathematical.
650	1	4	_aMathematical Logic and Foundations. _0http://scigraph.springernature.com/things/product-market-codes/M24005
700	1		_aLöb, M. H. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783662194294
776	0	8	_iPrinted edition: _z9783540042402
830		0	_aLecture Notes in Mathematics, _x0075-8434 ; _v70
856	4	0	_uhttps://doi.org/10.1007/BFb0079093
912			_aZDB-2-SMA
912			_aZDB-2-LNM
912			_aZDB-2-BAE
999			_c10747 _d10747