An edition of An introduction to mathematical logic and type theory (1986)

An introduction to mathematical logic and type theory

to truth through proof

2nd ed.

by

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: An introduction to mathematical logic and type theory by P. B. Andrews
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
December 15, 2023 | History
Edit
An edition of An introduction to mathematical logic and type theory (1986)

An introduction to mathematical logic and type theory

to truth through proof

2nd ed.

by

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read

"This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification."--BOOK JACKET.

Publish Date
Publisher
Kluwer Academic Publishers
Language
English
Pages
390

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Symbolic and mathematical Logic, Type theory, Logic, symbolic and mathematical

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: An introduction to mathematical logic and type theory
An introduction to mathematical logic and type theory: to truth through proof
2002, Kluwer Academic Publishers
in English - 2nd ed.
  • Not in Library
Libraries near you: WorldCat
Cover of: An introduction to mathematical logic and type theory
An introduction to mathematical logic and type theory: to truth through proof
1986, Academic Press, Academic Pr
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Published in

Dordrecht, Boston

Edition Notes

Includes bibliographical references (p. 371-380) and index.

Series
Applied logic series ;, v. 27

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9 .A638 2002, QA1-939

The Physical Object

Pagination
xviii, 390 p. :
Number of pages
390

ID Numbers

Open Library
OL3563177M
ISBN 10
1402007639
LCCN
2002031656
OCLC/WorldCat
505814567, 50333720
Library Thing
2561986
Goodreads
250869

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 15, 2023 Edited by ImportBot import existing book
November 29, 2023 Edited by MARC Bot import existing book
November 15, 2023 Edited by MARC Bot import existing book
October 4, 2021 Edited by ImportBot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record.