m

Documents  Fitting, Melvin | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 553 p.
ISBN 978-90-277-1573-9

Synthese library , 0169

Localisation : Ouvrage RdC (FITT)

logique modale # logique mathématique et base # logique intermédiaire # théorie de preuve et mathématique constructive

03A05 ; 03Bxx ; 03Cxx ; 03F55

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xxi; 247 p.
ISBN 978-1-108-42491-2

Cambridge tracts in mathematics , 0216

Localisation : Collection 1er étage

logique mathématique # logique de la justification # raisonnement # théorie de la connaissance # logique modale # logique intuitionniste

03-02 ; 03B45 ; 03B60

... Lire [+]

Z