An edition of Introduction a la Theorie de la Demonstration (2022)

Introduction a la Theorie de la Demonstration

Elimination des Coupures, Normalisation et Preuves de Coherence

by , , , , and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Introduction a la Theorie de la Demonstration
Sergio Galvan, Paolo Mancosu, ...
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
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
February 17, 2023 | History
Edit
An edition of Introduction a la Theorie de la Demonstration (2022)

Introduction a la Theorie de la Demonstration

Elimination des Coupures, Normalisation et Preuves de Coherence

by , , , , and

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

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

Publish Date
Publisher
Vrin, Librairie Philosophique J.
Language
French

Check nearby libraries

Buy this book

Edition Availability
Cover of: Introduction a la Theorie de la Demonstration
Introduction a la Theorie de la Demonstration: Elimination des Coupures, Normalisation et Preuves de Coherence
2022, Vrin, Librairie Philosophique J.
in French
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

The Physical Object

Pagination
588
Weight
0.341

ID Numbers

Open Library
OL46697390M
ISBN 13
9782711630912

Source records

Better World Books record

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
February 17, 2023 Created by ImportBot import new book