An edition of A first course in logic (2004)

A first course in logic

an introduction to model theory, proof theory, computability, and complexity

by

  • 1 Want to read
Cover of: A first course in logic by Shawn Hedman, Shawn Hedman
Read

My Reading Lists:

Create a new list
Notes
  • 1 Want to read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 28, 2025 | History
Edit
An edition of A first course in logic (2004)

A first course in logic

an introduction to model theory, proof theory, computability, and complexity

by

  • 1 Want to read

"The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in a clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course."--Jacket.

Publish Date
Publisher
Oxford University Press
Language
English
Pages
431

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Logic Symbolic and mathematical Logic Model theory Proof theory Computable functions Computational complexity
Edition Availability
Cover of: A first course in logic
A first course in logic: an introduction to model theory, proof theory, computability, and complexity
2004, Oxford University Press
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. [426]-427) and index.

Published in
Oxford, New York
Series
Oxford texts in logic ;, 1

Classifications

Dewey Decimal Class
160
Library of Congress
QA9 .H36 2004, BC71, QA9 .H43 2004

The Physical Object

Pagination
xx, 431 p. :
Number of pages
431

Edition Identifiers

Open Library
OL3328787M
Internet Archive
firstcourselogic00hedm_333
ISBN 10
0198529805, 0198529813
LCCN
2004303637
OCLC/WorldCat
56446102, 60839243
LibraryThing
4446864
Goodreads
3414645
2063650

Work Identifiers

Work ID
OL5759127W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation