The Craig Interpolation Theorem for Schematic Systems - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Chapitre D'ouvrage Année : 1996

The Craig Interpolation Theorem for Schematic Systems

Alessandra Carbone

Dates et versions

hal-03911517 , version 1 (22-12-2022)

Identifiants

Citer

Alessandra Carbone. The Craig Interpolation Theorem for Schematic Systems. Collegium Logicum, 2, Springer Vienna, pp.87-100, 1996, Collegium Logicum, ⟨10.1007/978-3-7091-9461-4_6⟩. ⟨hal-03911517⟩
14 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More