000			02755nam a22003735i 4500
001			322027
003			MX-SnUAN
005			20160429161522.0
007			cr nn 008mamaa
008			160111s2016 gw | s |||| 0|eng d
020			_a9783319226866 _9978-3-319-22686-6
035			_avtls000422247
039		9	_y201601111022 _zstaff
050		4	_aBC1-199
245	1	0	_aAdvances in proof-theoretic semantics / _cedited by Thomas Piecha, Peter Schroeder-Heister.
250			_a1st ed. 2016.
264		1	_aCham : _bSpringer International Publishing : _bSpringer, _c2016.
300			_avi, 283 páginas :
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
490	0		_aTrends in Logic, Studia Logica Library, _x1572-6126 ; _v43
500			_aSpringer eBooks
505	0		_aChapter 1. Introduction; Thomas Piecha & Peter-Schroeder-Heister -- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics; Sergei N. Artëmov -- Chapter 3. Two Ways of General Proof Theory; Kosta Došen -- Chapter 4. Generalised elimination rules; Roy Dyckhoff -- Chapter 5. On the proof theoretic foundations of set theory; Lars Hallnäs -- Chapter 6. The choice of semantics as a methodological question; Wilfrid Hodges -- Chapter 7. The mode of presentation; Reinhard Kahle -- Chapter 8. Remarks on relations between Gentzen and Heyting inspired PTS; Dag Prawitz -- Chapter 9. Unification of logics by reflection; Giovanni Sambin -- Chapter 10. BHK and Brouwer's Theory of the Creative Subject; Göran Sundholm -- Chapter 11. Compositional semantics for predicate logic: Eliminating bound variables from formulas and deductions; William W. Tait -- Chapter 12. Intuitionism, the Paradox of Knowability and Empirical Negation; Gabriele Usberti -- Chapter 13. Explicit composition and its application in normalization proofs; Jan von Plato -- Chapter 14. A two-sorted typed lambda-calculus; Heinrich Wansing -- Chapter 15. Kreisel's second clause and the Theory of Constructions; Walter Dean & Hidenori Kurokawa -- Chapter 16. On Paradoxes in Proof-Theoretic Semantics; Yoshihiro Maruyama.
506	0		_aOpen Access
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aPiecha, Thomas, _eeditor. _9367157
700	1		_aSchroeder-Heister, Peter, _eeditor. _9367158
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783319226859
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-319-22686-6 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c322027 _d322027