Intermediate Logic - Brossura

Bostock, David

 
9780198751427: Intermediate Logic

Sinossi

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 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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

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)

L'autore

David Bostock is at Merton College, Oxford.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9780198751410: Intermediate Logic

Edizione in evidenza

ISBN 10:  0198751419 ISBN 13:  9780198751410
Casa editrice: Clarendon Press, 1997
Rilegato