Sur l’utilité de la logique algorithmique
Avant d’entrer dans mon sujet, je demande la permission de dire deux mots sur le nom même de la Logique algorithmique. Je préfère ce nom à celui de Logique symbolique, qui attache trop d’importance au fait secondaire et superficiel que cette doctrine emploie des symboles ; à celui d’Algèbre de la Lo...
Gardado en:
| Principais autores: | , |
|---|---|
| Formato: | Chapter |
| Idioma: | Francês |
| Publicado: |
ENS Éditions
2018
|
| Acceso en liña: | https://doi.org/10.4000/books.enseditions.8019 https://hdl.handle.net/20.500.13089/2vzo https://books.openedition.org/enseditions/8019 |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
