Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

David J. Pym , Eike Ritter
Noch keine Bewertungen
2004 · Englisch · Kindle · 3 Ausgaben
Zum Regal hinzufügen

Bewerte dieses Buch


Buchjournal exportieren

Rezensionen

Noch keine Rezensionen

Sei der Erste, der dieses Buch rezensiert und deine Gedanken teilt

Anmelden um zu rezensieren
Zum Regal hinzufügen

Bewerte dieses Buch


Buchjournal exportieren