A logical introduction to proof /

Bibliographic Details
Main Author:	Cunningham, Daniel W.
Format:	Book
Language:	English
Published:	New York : Springer, 2013.
Subjects:	Mathematical logic. Proof theory. Lógica matemática. Teoría de la demostración.

MARC


LEADER	00000cam a22000007a 4500
001	17285634
003	AR_CdUFM
005	20150804165132.0
008	120504s2013 nyua 000 0 eng d
020			\|a 9781489990990
040			\|a BTCTA \|b eng \|c BTCTA \|d UKMGB \|d YBM \|d YDXCP \|d OCLCO \|d CDX \|d BWX \|d GPM \|d DLC \|d AR_CdUFM
100	1		\|a Cunningham, Daniel W.
245	1	2	\|a A logical introduction to proof / \|c Daniel W. Cunningham.
260			\|a New York : \|b Springer, \|c 2013.
300			\|a xv, 356 p. : \|b il. ; \|c 24 cm.
505	0		\|a Propositional logic -- Predicate logic -- Proof strategies and diagrams -- Mathematical induction -- Set theory -- Functions -- Relations -- Core concepts in abstract algebra -- Core concepts in real analysis.
541			\|a M & A - S. R. L. ; \|c Compra Proyecto PICT-2013 Nº 1391- Dr. Paulo Andrés Tirao ; \|d 2015-08-04; \|e 22303 ; \|h $2112 ; \|o Libro
650		4	\|a Mathematical logic.
650		4	\|a Proof theory.
650		4	\|a Lógica matemática.
650		4	\|a Teoría de la demostración.
942			\|2 MSC \|c LIBRO
945			\|a MCR \|d 2015-08-04
952			\|0 0 \|1 0 \|2 MSC \|4 0 \|6 M_03_C973 \|7 0 \|9 24562 \|a MMA \|b MMA \|c 2 \|d 2015-08-04 \|e Proyecto PICT-2013 Nº 1391-Tirao Paulo Andrés: M&A - S.R.L. \|g 2112.00 \|l 6 \|o M 03 C973 \|p 22303 \|r 2024-04-25 \|s 2024-04-18 \|w 2015-08-04 \|y LIBRO
999			\|c 17256 \|d 17255