The Stroke Function in Natural Deduction

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:The Journal of symbolic logic 1973, Vol.38 (1), p.149-150
1. Verfasser: Stanley, Robert L.
Format: Review
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:
ISSN:0022-4812