Algorithmic aspects of intuitionistic propositional logic

Bibliographische Detailangaben

1. Verfasser:	Franzén, Torkel (VerfasserIn)
Körperschaft:	Swedish Institute of Computer Science (Herausgebendes Organ)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Stockholm Swedish Institute of Computer Science 1987
Schriftenreihe:	Research Report / Swedish Institute of Computer Science 1987,10B
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!