On the Lengths of proofs in the propositional calculus

Zugl.: Toronto, Univ., Diss. 1975

Bibliographische Detailangaben

1. Verfasser:	Reckhow, Robert. A. (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1975
Schriftenreihe:	Technical Report / Department of Computer Science, University of Toronto 87
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!