Skip to search
Skip to main content
Catalog
Help
Feedback
Your Account
Library Account
Bookmarks
(
0
)
Search History
Search in
Keyword
Title (keyword)
Author (keyword)
Subject (keyword)
Title starts with
Subject (browse)
Author (browse)
Author (sorted by title)
Call number (browse)
search for
Search
Advanced Search
Bookmarks
(
0
)
Princeton University Library Catalog
Start over
Cite
Send
to
SMS
Email
EndNote
RefWorks
RIS
Printer
Bookmark
Intermediate logic / David Bostock.
Author
Bostock, David
[Browse]
Format
Book
Language
English
Published/Created
Oxford : Clarendon Press ; New York : Oxford University Press, 1997.
Description
1 online resource (ix, 393 pages) : illustrations
Availability
Available Online
Ebook Central Perpetual, DDA and Subscription Titles
Details
Subject(s)
Logic, Symbolic and mathematical
[Browse]
Logic
[Browse]
Summary note
Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technical grounding. The author introduces and explains each concept and term, ensuring that readers have a firm foundation for study. He provides a broad, deep understanding of logic by adopting and comparing a variety of different methods and approaches. In the first section, Bostock covers such fundamental notions as truth, validity, entailment, qualification, and decision procedures. Part Two lays out a definitive introduction to four key logical tools or procedures: semantic tableaux, axiomatic proofs, natural deduction, and sequent calculi. The final section opens up new areas of existence and identity, concluding by moveing from orthodox logic to an examination of `free logic'. Intermediate Logic provides an ideal secondary course in logic for university students, and a bridge to advanced study of such subjects as model theory, proof theory, and other specialized areas of mathematical logic.
Notes
Bibliographic Level Mode of Issuance: Monograph
Bibliographic references
Includes bibliographical references (p. 379-381) and index.
Source of description
Description based on publisher supplied metadata and other sources.
Language note
English
Contents
Part I. SEMANTICS; 1. Introduction; 2. Truth-Functors; 3. Quantifiers; Part II. PROOFS; 4. Semantic Tableaux; 5. Axiomatic Proofs; 6. Natural Deduction; 7. Sequent Calculi; Part III. FURTHER TOPICS; 8. Existence and Identity; REFERENCES; LIST OF SYMBOLS; LIST OF AXIOMS AND RULES OF INFERENCE; INDEX
ISBN
1-383-03261-0
0-19-103722-2
1-282-38376-0
9786612383762
0-19-156707-8
OCLC
435942159
958570592
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage.
Read more...
Other views
Staff view
Ask a Question
Suggest a Correction
Report Harmful Language
Supplementary Information
Other versions
Intermediate logic / David Bostock.
id
9912038293506421
Intermediate logic / David Bostock.
id
SCSB-8590446