Bostock, David Intermediate Logic

ISBN 13: 9780198751410

Intermediate Logic

3.58 avg rating
( 12 ratings by Goodreads )
 
9780198751410: Intermediate Logic
View all copies of this ISBN edition:
 
 

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 technological 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, quantification, 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 moving from orthodox logic to 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.

"synopsis" may belong to another edition of this title.

Review:

This textbook covers the fundamental proof-theoretical and model-theoretical aspects of classical propositional and first-order logic. . . .The book is clearly written and ideally suited for an intermediate course on the subject, requiring just some elementary knowledge of proof theory and model theory. (Mathematical Reviews)

From the Back Cover:

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.

"About this title" may belong to another edition of this title.

Buy Used
Condition: Fair
0198751419 ***PLEASE NOTE*** *This... Learn more about this copy

Shipping: 57.37
From U.S.A. to United Kingdom

Destination, rates & speeds

Add to Basket

Other Popular Editions of the Same Title

9780198751427: Intermediate Logic

Featured Edition

ISBN 10:  0198751427 ISBN 13:  9780198751427
Publisher: Oxford University Press, USA, 1997
Softcover

Top Search Results from the AbeBooks Marketplace

1.

Bostock, David
Published by Oxford University Press
ISBN 10: 0198751419 ISBN 13: 9780198751410
Used Hardcover Quantity Available: 1
Seller:
GreatDeals4You
(Buffalo, NY, U.S.A.)

Book Description Oxford University Press. Hardcover. Condition: Fair. 0198751419 ***PLEASE NOTE*** *This book is in Fair-Acceptable Condition. Has obvious wear & tear on cover and pages, writing & highlighting from previous use. Will have different used book stickers on cover and binding. Regardless of title, CD/DVD/Access Codes or Supplemental Materials are not guaranteed. This is a U.S. Student Edition Book. This book is not a rental. Seller Inventory # Z0198751419Z4

More information about this seller | Contact this seller

Buy Used
146.57
Convert currency

Add to Basket

Shipping: 57.37
From U.S.A. to United Kingdom
Destination, rates & speeds