m

Documents  Critères de recherche : "Formal logic" | enregistrements trouvés : 6

O
     

-A +A

P Q

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

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (OXFO)

03-06 ; 03D05 ; 03Dxx

... Lire [+]

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

- 226 p.
ISBN 978-0-8176-3719-4

Progress in theoretical computer science

Localisation : Ouvrage RdC (STRA)

automate fini # jeu de théorie des modèles # langage formel # langage régulier # langage régulier et complexité de circuit # logique du premier ordre # logique formelle # mot et langage # quantificateur modulaire # semi-groupe et homomorphisme # semi-groupe fini # théorème de Krohn-Rhodes # théorème de catégorie

03B10 ; 03Cxx ; 03D05 ; 20F10 ; 20M35

... Lire [+]

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

- 265 p.
ISBN 978-0-632-01612-9

Computer science texts

Localisation : Ouvrage RdC (DOWS)

logique formelle # programmation logique

03-01 ; 68Qxx

... Lire [+]

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

- 243 p.
ISBN 978-0-19-853027-5

Oxford texts in logic , 0002

Localisation : Ouvrage RdC (BORN)

logique mathématique # logique formelle # informatique # preuve formelle # calculateur logique

03-01 ; 68-01

... Lire [+]

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

- 566 p.
ISBN 978-0-8284-0238-5

Localisation : Ouvrage RdC (BOCH)

philosophie et fondation des mathématiques # histoire # logique

03-03

... Lire [+]

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

- 122 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (BOCH)

histoire # biographie

03-03

... Lire [+]

Z