Mathematical logic

Saved in:
Bibliographic Details
Main Author: Chiswell, Ian, 1948-
Other Authors: Hodges, Wilfrid
Format: Book
Language:English
Published: London ; New York : Oxford University Press, 2007.
Series:Oxford texts in logic ; 3.
Physical Description:
viii, 250 pages : illustrations ; 25 cm.
Subjects:
Logic, Symbolic and mathematical.
Online Access:Table of contents only -

MARC

LEADER 00000cam a2200000 a 4500
001 ocm77012114
003 OCoLC
005 20100331111136.0
008 061222s2007 enka 001 0 eng
010 |a 2006103200 
015 |a GBA6A3782  |2 bnb 
016 7 |a 013623963  |2 Uk 
020 |a 9780199215621  |q paperback  |q alkaline paper 
020 |a 0199215626  |q paperback  |q alkaline paper 
020 |a 9780198571001  |q hardback  |q alkaline paper 
020 |a 0198571003  |q hardback  |q alkaline paper 
035 |a (OCoLC)77012114 
040 |a DLC  |b eng  |c DLC  |d UKM  |d BAKER  |d BWKUK  |d BTCTA  |d YDXCP  |d BWK  |d GZT  |d OCLCG  |d COM 
049 |a COMA 
050 0 0 |a QA9.2  |b .C45 2007 
082 0 0 |a 511.3  |2 22 
100 1 |a Chiswell, Ian,  |d 1948-  |0 https://id.loc.gov/authorities/names/n00014668. 
245 1 0 |a Mathematical logic /  |c Ian Chiswell and Wilfrid Hodges. 
264 1 |a London ;  |a New York :  |b Oxford University Press,  |c 2007. 
300 |a viii, 250 pages :  |b illustrations ;  |c 25 cm. 
336 |a text  |b txt  |2 rdacontent. 
337 |a unmediated  |b n  |2 rdamedia. 
338 |a volume  |b nc  |2 rdacarrier. 
490 1 |a Oxford texts in logic ;  |v 3. 
500 |a Includes index. 
505 2 |a Informal natural deduction -- Propositional logic -- First interlude: Wason's selection task -- Quantifier-free logic -- Second interlude: the Linda problem -- First-order logic. 
650 0 |a Logic, Symbolic and mathematical.  |0 https://id.loc.gov/authorities/subjects/sh85078115. 
700 1 |a Hodges, Wilfrid.  |0 https://id.loc.gov/authorities/names/n85219766. 
830 0 |a Oxford texts in logic ;  |0 https://id.loc.gov/authorities/names/no2004096979  |v 3. 
907 |a .b29787142  |b cu   |c -  |d 100331  |e 230523 
998 |a cu  |b 100331  |c m  |d a   |e -  |f eng  |g enk  |h 0  |i 0 
948 |a MARCIVE Comp, in 2022.12 
948 |a MARCIVE August, 2017 
948 |a MARCIVE extract Aug 5, 2017 
994 |a C0  |b COM 
995 |a Loaded with m2btab.ltiac in 2022.12 
995 |a Loaded with m2btab.ltiac in 2017.08 
995 |a Exported from Connexion by CMU 
989 |a QA9.2  |r .C45 2007  |d culmb  |b 1080005631418  |e 08-16-2022 14:53  |f  - -   |g -   |h 10  |i 9  |j 18  |k 100331  |l $0.00  |m    |n 09-12-2022 9:46  |o -  |p 0  |q 375  |t 0  |x 0  |1 .i56971345  |3 Table of contents only  |u http://www.loc.gov/catdir/toc/ecip077/2006103200.html  |3 Contributor biographical information  |u http://www.loc.gov/catdir/enhancements/fy0726/2006103200-b.html  |3 Publisher description  |u http://www.loc.gov/catdir/enhancements/fy0726/2006103200-d.html 

Similar Items