m

F Nous contacter

0

Documents  Andrews, Peter B. | enregistrements trouvés : 2

O
     

-A +A

P Q

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

- 304 p.
ISBN 978-0-12-058536-6

Computer science and applied mathematics

Localisation : Ouvrage RdC (ANDR)

calcul des prédicats # démonstration # logique de premier ordre # logique mathématiques # réfutation

03-XX ; 03B15 ; 03B35 ; 68A40

... Lire [+]

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

- 143 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (ANDR)

logique mathématique

03B20 ; 03B25 ; 03B65 ; 03Cxx ; 03Dxx

... Lire [+]

Z