Introduction a la Theorie de la Demonstration
Elimination Des Coupures, Normalisation Et Preuves de Coherence
Published on 15. December 2022
Book
Paperback/Softback
588 pages
978-2-7116-3091-2 (ISBN)
More details
Language
French
Place of publication
France
Product notice
Paperback (trade)
Unsewn / adhesive bound
Weight
336 gr
ISBN-13
978-2-7116-3091-2 (9782711630912)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification