formalisation # logique intuitioniste # mathématique intuitioniste # preuve constructive # suite de choix

Publisher City : Oxford

Publisher country : États-Unis

Language : English

Edition nb : reprint

EAN13 : 9780198531586

ISBN : 0-19-853158-3

Collation : 24 cm#rel. ; Bibliogr. ; Index

Series : Oxford logic guides

Location : Ouvrage RdC (DUMM)

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies