Librería Bonilla. Desde 1950

	Título:
	Autor:	Precio: $270.00
	Editorial:	Año: 2006
	Tema:	Edición: 1ª
	Sinopsis	ISBN: 9780486450186
	Suitable for advanced undergraduates and graduate students, this self-contained text will appeal to readers from diverse fields and varying backgrounds _ including mathematics, philosophy, linguistics, computer science, and engineering. It features numerous exercises of varying levels of difficulty, many with solutions. A survey of the propositional calculus is followed by chapters on first-order logic and first-order recursive arithmetic. An examination of the arithmetization of syntax follows, along with a review of the incompleteness theorems and other applications of the Liar Paradox. The text concludes with a study of second-order logic and an appendix on set theory that will prove valuable to students with little or no mathematical background.

Sucursal CDMX