Proofs and computations
Schwichtenberg, Helmut (Principal) ; Wainer, Stanley S. (Co-auteur)
Cambridge University Press;Association for Symbolic Logic
2012
xiii; 465 p.
978-0-521-51769-0
00038776
théorie de la démonstration # théorie de la preuve # théorie de la calculabilité # théorème d'incomplétude de Gödel # arithmétique de Peano # récursivité
Publisher City : Cambridge ; New York ; Poughkeepsie
Publisher country : Grande-Bretagne ; États-Unis
Language : English
EAN13 : 9780521517690
Collation : 24 cm#rel.#bibliogr.#index
Series : Perspectives in logic
Location : Ouvrage RdC (SCHW)
Book type : Monographie
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00038776 | [available] |