Mathematical logic/ Ian Chiswell and Wilfrid Hodges.

By:

Chiswell, Ian, 1948-

Contributor(s):

Hodges, Wilfrid

Series: Oxford texts in logic ; 3Publication details: London; New York: Oxford University Press, 2007.Description: viii, 250 p.: ill.; 25 cmISBN:

9780199215621 (pbk. : alk. paper)
0199215626 (pbk. : alk. paper)
9780198571001 (hbk. : alk. paper)
0198571003 (hbk. : alk. paper)

Subject(s):

DDC classification:

511.3 C542m

Online resources:

Table of contents only

Partial contents:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	511.3 C542m 2007 IMPA (Browse shelf(Opens below))	1	Available		39063000641798

Includes index.

Informal natural deduction -- Propositional logic -- First interlude: Wason's selection task -- Quantifier-free logic -- Second interlude: the Linda problem -- First-order logic.

There are no comments on this title.

to post a comment.