The Resource A mathematical introduction to logic, Herbert B. Enderton

A mathematical introduction to logic, Herbert B. Enderton

Label
A mathematical introduction to logic
Title
A mathematical introduction to logic
Statement of responsibility
Herbert B. Enderton
Creator
Subject
Language
eng
Summary
This edition offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets
Cataloging source
DLC
http://library.link/vocab/creatorName
Enderton, Herbert B
Index
index present
LC call number
QA9
LC item number
.E54 2001
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/subjectName
  • Logic, Symbolic and mathematical
  • Logique symbolique et mathématique
  • Logic, Symbolic and mathematical
  • Wiskundige logica
  • Symbolische logica
  • Logik
  • Mathematik
  • Mathematik
Label
A mathematical introduction to logic, Herbert B. Enderton
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 307-308) and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • Compactness and Effectiveness
  • First-Order Logic
  • First-Order Languages
  • Truth and Models
  • A Parsing Algorithm
  • A Deductive Calculus
  • Soundness and Completeness Theorems
  • Models of Theories
  • Interpretations Between Theories
  • Nonstandard Analysis
  • Sentential Logic
  • Undecidability
  • Number Theory
  • Natural Numbers with Successor
  • Other Reducts of Number Theory
  • A Subtheory of Number Theory
  • Arithmetization of Syntax
  • Incompleteness and Undecidability
  • Recursive Functions
  • Second Incompleteness Theorem
  • Representing Exponentiation
  • Informal Remarks on Formal Languages
  • Second-Order Logic
  • Second-Order Languages
  • Skolem Functions
  • Many-Sorted Logic
  • General Structures
  • The Language of Sentential Logic
  • Truth Assignments
  • A Parsing Algorithm
  • Induction and Recursion
  • Sentential Connectives
  • Switching Circuits
Dimensions
24 cm
Edition
2nd ed.
Extent
xii, 317 pages
Isbn
9780122384523
Lccn
00110670
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
System control number
  • (OCoLC)45830890
  • (OCoLC)ocm45830890
Label
A mathematical introduction to logic, Herbert B. Enderton
Publication
Bibliography note
Includes bibliographical references (pages 307-308) and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • Compactness and Effectiveness
  • First-Order Logic
  • First-Order Languages
  • Truth and Models
  • A Parsing Algorithm
  • A Deductive Calculus
  • Soundness and Completeness Theorems
  • Models of Theories
  • Interpretations Between Theories
  • Nonstandard Analysis
  • Sentential Logic
  • Undecidability
  • Number Theory
  • Natural Numbers with Successor
  • Other Reducts of Number Theory
  • A Subtheory of Number Theory
  • Arithmetization of Syntax
  • Incompleteness and Undecidability
  • Recursive Functions
  • Second Incompleteness Theorem
  • Representing Exponentiation
  • Informal Remarks on Formal Languages
  • Second-Order Logic
  • Second-Order Languages
  • Skolem Functions
  • Many-Sorted Logic
  • General Structures
  • The Language of Sentential Logic
  • Truth Assignments
  • A Parsing Algorithm
  • Induction and Recursion
  • Sentential Connectives
  • Switching Circuits
Dimensions
24 cm
Edition
2nd ed.
Extent
xii, 317 pages
Isbn
9780122384523
Lccn
00110670
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
System control number
  • (OCoLC)45830890
  • (OCoLC)ocm45830890

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...