Refine my results
Document type
Specific Collection
Language
- French (1)
Author
Keyword
- S. Leśniewski’s logic (1)
- S. Leśniewski’s system (1)
- demonstration (1)
- déduction logique (1)
- démonstration (1)
-
formal grammar (1)
- formal language (1)
- formal system (1)
- formalisation (1)
- formalization (1)
- grammaire formelle (1)
- langage formel (1)
- langage pivot (1)
- logic of classes (1)
- logical proof (1)
- logical deduction (1)
- logical system (1)
- logique de S. Leśniewski (1)
- logique des classes (1)
- metalanguage (1)
- moteur de réécriture (1)
- métalangage (1)
- ontologie (1)
- ontology (1)
- pivot language (1)
- preuve (1)
- rewrite engine (1)
- rewriting of terms (1)
- réécriture de termes (1)
- set theory (1) More Less