Mathematical logic /

Mostrar otras versiones (2)

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. - ;Assuming no previous study in logic, this informal yet...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Chiswell, Ian, 1948-
Otros Autores: Hodges, Wilfrid
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London ; New York : Oxford University Press, 2007.
Colección:Oxford texts in logic ; 3.
Temas:
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Logic, Symbolic and mathematical
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 EBOOKCENTRAL_ocn171035807
003 OCoLC
005 20240329122006.0
006 m o d
007 cr cnu---unuuu
008 070912s2007 enka o 001 0 eng d
040 |a N$T  |b eng  |e pn  |c N$T  |d YDXCP  |d OCLCQ  |d N$T  |d OCLCQ  |d MT4IT  |d QE2  |d IDEBK  |d W2U  |d E7B  |d CBT  |d MERUC  |d OCLCQ  |d OCLCF  |d OCLCQ  |d OCLCO  |d OCLCQ  |d EBLCP  |d MHW  |d DEBSZ  |d FVL  |d OCLCQ  |d AZK  |d LOA  |d JBG  |d COCUF  |d AGLDB  |d MOR  |d PIFAG  |d ZCU  |d OTZ  |d OCLCQ  |d U3W  |d RCC  |d BRL  |d STF  |d WRM  |d OCLCQ  |d VTS  |d CEF  |d NRAMU  |d ICG  |d OCLCQ  |d INT  |d VT2  |d AU@  |d OCLCQ  |d LHU  |d WYU  |d UWO  |d YOU  |d CANPU  |d TKN  |d OCLCQ  |d DKC  |d OCLCQ  |d M8D  |d OCLCQ  |d SFB  |d SNU  |d VLY  |d OCLCQ  |d OCLCO  |d QGK  |d OCLCQ  |d SGP  |d OCLCO  |d OCLCQ  |d BRX  |d YDX  |d OCLCQ  |d OCLCO  |d OCLCL 
015 |a GBA6A3782  |2 bnb 
016 7 |z 013623963  |2 Uk 
019 |a 252689739  |a 455978564  |a 476243100  |a 613348178  |a 647665122  |a 728033960  |a 764480965  |a 961615423  |a 962685443  |a 966199534  |a 988437123  |a 991920710  |a 994720940  |a 1037478761  |a 1037929182  |a 1038655899  |a 1044215600  |a 1044225377  |a 1045566272  |a 1055386754  |a 1056349377  |a 1056358455  |a 1058074265  |a 1059557444  |a 1060843222  |a 1066622022  |a 1078829129  |a 1078851581  |a 1081223776  |a 1099560148  |a 1125418234  |a 1136412404  |a 1161998208  |a 1241908038  |a 1286904470  |a 1290109626  |a 1300441326 
020 |a 9780191524806  |q (electronic bk.) 
020 |a 0191524808  |q (electronic bk.) 
020 |a 0199215626  |q (Paper) 
020 |a 9780199215621  |q (Paper) 
020 |a 0198571003  |q (Cloth) 
020 |a 9780198571001  |q (Cloth) 
020 |a 9781429492669 
020 |a 142949266X 
020 |a 9786611160425 
020 |a 6611160426 
020 |a 1281160423 
020 |a 9781281160423 
029 1 |a AU@  |b 000048787179 
029 1 |a AU@  |b 000051585592 
029 1 |a AU@  |b 000073097039 
029 1 |a DEBBG  |b BV043077007 
029 1 |a DEBBG  |b BV044132865 
029 1 |a DEBSZ  |b 422189723 
029 1 |a DEBSZ  |b 430702574 
029 1 |a GBVCP  |b 802336248 
029 1 |a NZ1  |b 13856906 
035 |a (OCoLC)171035807  |z (OCoLC)252689739  |z (OCoLC)455978564  |z (OCoLC)476243100  |z (OCoLC)613348178  |z (OCoLC)647665122  |z (OCoLC)728033960  |z (OCoLC)764480965  |z (OCoLC)961615423  |z (OCoLC)962685443  |z (OCoLC)966199534  |z (OCoLC)988437123  |z (OCoLC)991920710  |z (OCoLC)994720940  |z (OCoLC)1037478761  |z (OCoLC)1037929182  |z (OCoLC)1038655899  |z (OCoLC)1044215600  |z (OCoLC)1044225377  |z (OCoLC)1045566272  |z (OCoLC)1055386754  |z (OCoLC)1056349377  |z (OCoLC)1056358455  |z (OCoLC)1058074265  |z (OCoLC)1059557444  |z (OCoLC)1060843222  |z (OCoLC)1066622022  |z (OCoLC)1078829129  |z (OCoLC)1078851581  |z (OCoLC)1081223776  |z (OCoLC)1099560148  |z (OCoLC)1125418234  |z (OCoLC)1136412404  |z (OCoLC)1161998208  |z (OCoLC)1241908038  |z (OCoLC)1286904470  |z (OCoLC)1290109626  |z (OCoLC)1300441326 
050 4 |a QA9.2  |b .C45 2007eb 
055 1 3 |a QA9.2  |b .C45 2007eb 
072 7 |a MAT  |x 016000  |2 bisacsh 
072 7 |a MAT  |x 018000  |2 bisacsh 
082 0 4 |a 511.3  |2 22 
049 |a UAMI 
100 1 |a Chiswell, Ian,  |d 1948-  |1 https://id.oclc.org/worldcat/entity/E39PCjrQdvHQbCMVPGymgx4JcP 
245 1 0 |a Mathematical logic /  |c Ian Chiswell and Wilfrid Hodges. 
260 |a London ;  |a New York :  |b Oxford University Press,  |c 2007. 
300 |a 1 online resource (viii, 250 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Oxford texts in logic ;  |v 3 
500 |a Includes index. 
588 0 |a Print version record. 
520 |a Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. - ;Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is s. 
505 0 |a 1 Prelude; 2 Informal natural deduction; 3 Propositional logic; 4 First interlude: Wason's selection task; 5 Quantifier-free logic; 6 Second interlude: the Linda problem; 7 First-order logic; 8 Postlude; Appendix A: The natural deduction rules; Appendix B: Denotational semantics; Appendix C: Solutions to some exercises; Index. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Logic, Symbolic and mathematical. 
650 6 |a Logique symbolique et mathématique. 
650 7 |a MATHEMATICS  |x Infinity.  |2 bisacsh 
650 7 |a MATHEMATICS  |x Logic.  |2 bisacsh 
650 7 |a Logic, Symbolic and mathematical  |2 fast 
700 1 |a Hodges, Wilfrid. 
758 |i has work:  |a Mathematical logic (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCGBDb48YRhf8jk8TjxDhh3  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Chiswell, Ian, 1948-  |t Mathematical logic.  |d London ; New York : Oxford University Press, 2007  |z 9780199215621  |z 0199215626  |w (DLC) 2006103200  |w (OCoLC)77012114 
830 0 |a Oxford texts in logic ;  |v 3. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=415527  |z Texto completo 
938 |a YBP Library Services  |b YANK  |n 20450810 
938 |a EBL - Ebook Library  |b EBLB  |n EBL415527 
938 |a ebrary  |b EBRY  |n ebr10194257 
938 |a EBSCOhost  |b EBSC  |n 201078 
938 |a ProQuest MyiLibrary Digital eBook Collection  |b IDEB  |n 116042 
938 |a YBP Library Services  |b YANK  |n 2971526 
938 |a YBP Library Services  |b YANK  |n 2704241 
994 |a 92  |b IZTAP 

Ejemplares similares