FrançaisLogic and structure
Ouvrage
logique propositionnelle # logique des prédicats # exhaustibilité # logique de second ordre # logique intuitionniste # normalisation # théorème d'incomplétude de Gödel # ultraproduit
Publisher City : London
Publisher country : Grande-Bretagne
Language : English
Edition nb : 5th ed.
EAN13 : 9781447145578
Collation : 24 cm#broch.#index
Series : Universitext
Location : Ouvrage RdC (VAND)
Book type : Monographie
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00038606 | [available] |
