Une vue des logiques connexives - A View of Connexive Logics

Ce livre est la première monographie sur le thème des logiques connexives, une famille de logiques...

Grammaires d'unification - Unification Grammars

Les grammaires des langues naturelles peuvent être exprimées comme des objets mathématiques, semblables à des programmes...

Sémantique de la théorie de la preuve - Proof-theoretic Semantics

Ce livre est une monographie sur le thème de la sémantique de la théorie de la preuve, une...

Présentation de l'auteur Nissim Francez :

Livres publiés jusqu'à présent par Nissim Francez :