Reductive Logic and Proof Search; Proof Theory, Semantics and Control

Editore: Clarendon Press, Oxford, 2004

  • Prima edizione
  • Rilegato
  • Usato
Visualizza tutti i dettagli

Da: Evening Star Books, ABAA/ILAB, Madison, WI, U.S.A.Evening Star Books, ABAA/ILAB

Venditore con 5 stelle

Venditore AbeBooks dal 9 maggio 2012

Membro dell’associazione: ABAAIOBAILAB

Rilegato

Condizione: Usato

EUR 101,21

EUR 5,81 spedizione 
Spedito in U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

8vo. [5], vi-xv, [4], 2-208, [4] pp. Navy cloth with gold lettering on the boards and the spine, publisher's device in blind on the front board and in gold on the spine, single gold rule on the front board with three gold rules on the spine. Volume 45 in the Oxford Logic Guides series. Series editors Angus MacIntyre, Dov M. Gabbay, and Dana Scott. As with most volumes in the series, this book was issued without a dust jacket. This monograph is focused on reductive logics (logics based on the notion of how, given a putative conclusion, a proof may be determined using a non-deterministic procedure choosing amongst possible premises). Reductive logics are of particular interest within the field of computation and the authors examine semantics and proof theory within this context as well as exploring both Intuitionistic and Classical proof systems. A very attractive copy. Very near Fine with a bit of minor rubbing to the rear board.

Codice articolo 00009958

Dati bibliografici

Titolo
Reductive Logic and Proof Search; Proof Theory, Semantics and Control
Autore
Pym, David J.; Ritter, Eike
Editore
Clarendon Press, Oxford
Anno di pubblicazione
2004
Condizione
Very near Fine
Sovraccoperta
sovraccoperta
Rilegatura
Hardcover
Edizione
First edition.
Cataloghi dei venditori
COMPUTERS, Mathematics

Evening Star Books, ABAA/ILAB

Madison, WI, U.S.A.

Venditore con 5 stelle

Venditore AbeBooks dal 9 maggio 2012

Membro dell’associazione:

Tariffe di spedizione nazionale per U.S.A.

ArticoloDa 5 a 14 giorni lavorativiDa 3 a 6 giorni lavorativi
Primo articoloEUR 5,81EUR 16,93
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Assegno
  • PayPal
  • Vaglia postale

Specializzazione

Science, Science Fiction, Literature, Philosophy, Children's Fiction, Fantasy, Mystery, History

Membro dell’associazione

  • Antiquarian Booksellers' Association of America
  • Independent Online Booksellers Association
  • International League of Antiquarian Booksellers
I membri di queste associazioni si impegnano a rispettare gli standard più elevati. Si fanno garanti dell’autenticità di tutti gli oggetti messi in vendita. Forniscono descrizioni specialistiche e dettagliate, segnalano tutti i difetti e/o i restauri significativi, indicano prezzi trasparenti e corretti e operano secondo criteri di correttezza e onestà durante l’esperienza di acquisto.

Informazioni sull’azienda del venditore

Evening Star Books, ABAA/ILAB

WI, U.S.A.