Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Handbook of Mathematical Logic

4.3/5 ( ratings)

The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own.

Language: English

Pages: 1165

Format: Paperback

Publisher: North-Holland

Release: January 15, 1989

ISBN: 0444863885

ISBN 13: 9780444863881

Handbook of Mathematical Logic

4.3/5 ( ratings)

The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own.

Language: English

Pages: 1165

Format: Paperback

Publisher: North-Holland

Release: January 15, 1989

ISBN: 0444863885

ISBN 13: 9780444863881

More books from Jon Barwise

Language, Proof and Logic: Text and CD

3.4/5 ( ratings)

Situations and Attitudes

3.5/5 ( ratings)

Vicious Circles

4.1/5 ( ratings)

Tarski's World: Revised and Expanded

3.1/5 ( ratings)

The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers

4.3/5 ( ratings)

The Liar: An Essay on Truth and Circularity

4.6/5 ( ratings)

The Situation in Logic

4.3/5 ( ratings)

Information Flow: The Logic of Distributed Systems

4.3/5 ( ratings)

Logical Reasoning with Diagrams and Sentences: Using Hyperproof

Admissible Sets and Structures: An Approach to Definability Theory

Turing's World 3.0: An Introduction to Computability Theory

Hyperproof: For Macintosh

The Kleene Symposium

Logical Reasoning with Diagrams

Rate this book!

Write a review?