Completenes theorems for the systems E of entailment and EQ of entailment with quantification: With an appendix by Nuel D. Belnap
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Anderson, Alan Ross (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: New Haven 1959
Beschreibung:Maschinenschriftl.vervielf.
Beschreibung:27 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!