Three-valued logic and cut-elimination the actual meaning of Takenti's conjecture

Bibliographische Detailangaben

1. Verfasser:	Girard, Jean-Yves (VerfasserIn)
Format:	UnknownFormat
Sprache:	und
Veröffentlicht:	Warszawa Panstwowe wydawnictwo naukowe 1976
Schriftenreihe:	Dissertationes mathematicae. 136.
Schlagworte:	Takenti-Vermutung > Mehrwertige Logik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!