Skip to main content

1999 | OriginalPaper | Buchkapitel

On the Meaning of Logical Rules I: Syntax Versus Semantics

verfasst von : Jean-Yves Girard

Erschienen in: Computational Logic

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

« Ouic’est imbécile ce que je dis ! Seulement je ne sais pas comment concilier tout ça. Il est sûr que je ne me sens libre que parce que j’ai fait mes classes et que je ne sors de la fugue que parce que je la sais. »Claude-Achille DebussyEntretiens avec Ernest Guiraud1890.

Metadaten
Titel
On the Meaning of Logical Rules I: Syntax Versus Semantics
verfasst von
Jean-Yves Girard
Copyright-Jahr
1999
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-58622-4_7

Neuer Inhalt