An edition of Metamathematics of first-order arithmetic (1993)

Metamathematics of First-Order Arithmetic

by

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Metamathematics of First-Order Arithmetic
Petr Hájek, Pavel Pudlák
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 Scott365Bot
April 23, 2024 | History
Edit
An edition of Metamathematics of first-order arithmetic (1993)

Metamathematics of First-Order Arithmetic

by

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

This edition doesn't have a description yet. Can you add one?

Publish Date

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Metamathematics, Logic, symbolic and mathematical

Showing 5 featured editions. View all 5 editions?

Edition Availability
Cover of: Metamathematics of First-Order Arithmetic
Metamathematics of First-Order Arithmetic
2017, Cambridge University Press
in English
Libraries near you: WorldCat
Cover of: Metamathematics of First-Order Arithmetic
Metamathematics of First-Order Arithmetic
2017, Cambridge University Press
in English
Libraries near you: WorldCat
Cover of: Metamathematics of First-Order Arithmetic
Metamathematics of First-Order Arithmetic
2016, Cambridge University Press
in English
Libraries near you: WorldCat
Cover of: Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)
Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)
June 1998, Springer
Paperback in English - 2nd Printing edition
Libraries near you: WorldCat
Cover of: Metamathematics of First-Order Arithmetic
Metamathematics of First-Order Arithmetic
1993
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

ID Numbers

Open Library
OL51655956M
ISBN 10
366222156X
ISBN 13
9783662221563
OpenAlex
W1572451808

Source records

OpenAlex

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
April 23, 2024 Created by Scott365Bot Imported from OpenAlex