M. I. Séménénko. Svojstva nékotoryh podlogik klassičéskogo i intuicionistskogo isčislénij vyskazyvanij (Properties of some sublogics of the classical and intuitionistic propositional calculi). Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 16 (1970), pp. 201–238

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	The Journal of symbolic logic 1974-06, Vol.39 (2), p.351-352
1. Verfasser:	Anderson, Alan Ross
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!