• Soluzioni per l'istruzione e le imprese Si apre in una nuova finestra
Immagine di copertina: Reductive Logic and Proof-search 9780198526339

Reductive Logic and Proof-search

Proof Theory, Semantics, and Control

  • Autore(i) David J. Pym; Eike Ritter
  • Editore Pubblicato da Clarendon Press
  • "ISBN-13 9780198526339"
  • Formato Layout fisso

eBook

Licenza eTextbook
‌
€81.11 EUR
‌
‌

  • Strumenti di studio

    Strumenti di studio integrati come momenti salienti e altro

  • Leggi ad alta voce

    Ascolta e segui mentre Bookshelf legge il testo per te

  • Accesso offline

    Accedi al tuo eTextbook sempre e ovunque

  • Ricerca globale

    Cerca nel contenuto del libro, nelle figure e nella tua cartella di lavoro

Ulteriori informazioni

Reductive Logic and Proof-search: Proof Theory, Semantics, and Control è scritto da David J. Pym; Eike Ritter e pubblicato da Clarendon Press. Gli ISBN digitali e di eTextbook per Reductive Logic and Proof-search sono 9780191523533, 0191523534 e gli ISBN per la versione cartacea sono 9780198526339, 0198526334. Risparmia fino al 80% rispetto alla versione cartacea passando al digitale con VitalSource. Ulteriori codici ISBN per questo eTextbook includono 9780191712012.

Torna all'inizio