A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

A First Course in Logic

An Introduction to Model Theory, Proof Theory, Computability, and Complexity

2004 • 431 pages
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Publisher: Oxford University Press

Type: Physical Book

Language: English

Pages: 431

Information: 1

Release Date: 2004-01-01

ISBN 10: 0198529813

ISBN 13: 9780198529811

Readers: 1

Country: United States of America