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

Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)

Previous							No cover image available No cover image available	Next
Previous	511.3 C521f 2003 IMPA Finite structures with few types/	511.3 C534c 1990 IMPA Constructibility and mathematical existence/	511.3 C542c 2009 IMPA A course in formal languages, automata and groups/	511.3 C542m 2007 IMPA Mathematical logic/	511.3 C548r 2015 IMPA Recursion theory: computational aspects of definability/	511.3 C559t 1991 IMPA Truth, possibility, and probability: new logical foundations of probability and statistical inference/	511.3 C561c 1941 IMPA The calculi of lambda-conversion/	Next

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.