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
Ancora nessuna valutazione
2004 · Inglese · Kindle · 2 edizioni
Aggiungi allo scaffale

Valuta questo libro


Esporta diario dei libri

Recensioni

Nessuna recensione ancora

Sii il primo a recensire questo libro e condividi i tuoi pensieri

Accedi per recensire
Aggiungi allo scaffale

Valuta questo libro


Esporta diario dei libri