Proof theory / Kurt Schütte ; transl. from the german by J.N.Crossley

Auteur principal : Schütte, Kurt, 1909-1998, AuteurAuteur secondaire : Crossley, John Newsome, 1937-, TraducteurType de document : Livre numériqueCollection : Grundlehren der mathematischen wissenschaften, 225Langue : anglais.Éditeur : Berlin : Springer, 1977ISBN: 9783642664731.ISSN: 0072-7830.Sujet MSC : 03Fxx, Mathematical logic and foundations - Proof theory and constructive mathematics
03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundationsEn-ligne : sur Numir | Springerlink | MathSciNet
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.