Libros importados con hasta 50% OFF + Envío Gratis a todo USA  Ver más

menu

0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs (in English)
Type
Physical Book
Publisher
Year
2021
Language
English
Pages
432
Format
Paperback
ISBN13
9780192895943

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs (in English)

Paolo Mancosu; Sergio Galvan; Richard Zach (Author) · Oup Oxford · Paperback

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs (in English) - Paolo Mancosu; Sergio Galvan; Richard Zach

Physical Book

$ 36.99

  • Condition: New
It will be shipped from our warehouse between Friday, June 07 and Monday, June 10.
You will receive it anywhere in United States between 1 and 3 business days after shipment.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews