Cambridge Tracts in Theoretical Computer Science: Series Number 43: Basic Proof Theory

A. S. Troelstra

12 valutazioni di Goodreads

Lingua: inglese

Editore: Cambridge University Press, 2000

0521779111 / 9780521779111

Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.

Venditore con 5 stelle

Venditore AbeBooks dal 27 febbraio 2001

Brossura

Condizione: Nuovo

EUR 130,68

EUR 9,50 spedizione 
Spedito da Irlanda a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 432 pages, 3 b/w illus. 201 exercises. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 229 x 153 x 26. Weight in Grams: 656. Series: Cambridge Tracts in Theoretical Computer Science. 432 pages, 3 b/w illus. 201 exercises. Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA. Dimension: 229 x 153 x 26. Weight: 668. Series Editor(s) :Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P.H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J.V. . 2000. 2nd Edition. Paperback. . . . .

Codice articolo V9780521779111

Titolo
Cambridge Tracts in Theoretical Computer Science: Series Number 43: Basic Proof Theory
Autore
A. S. Troelstra
Editore
Cambridge University Press
Anno di pubblicazione
2000
Condizione
New
Rilegatura
Brossura
Lingua
inglese
ISBN 10
0521779111
ISBN 13
9780521779111
Edizione
seconda edizione

Kennys Bookshop and Art Galleries Ltd.

Galway, GY, Irlanda

Venditore con 5 stelle

Venditore AbeBooks dal 27 febbraio 2001

Tariffe di spedizione da Irlanda a U.S.A.

ArticoloDa 12 a 22 giorni lavorativiDa 10 a 20 giorni lavorativi
Primo articoloEUR 9,50EUR 11,50
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

Descrizione dello Store

Kennys.ie is the largest exporter of books from Ireland currently exporting to approximately 100 countries around the world. Kennys Bookshop houses hundreds of thousands of books and specialises in collection development and library services, supplying booksellers and state and university libraries on a global scale including the U.S.A.,Japan and Europe. Kennys.ie is Ireland's Largest Online Bookshop.

Specializzazione

Asia, All Aspects of the Irish Experience, Irish Literature, Irish History, Human Rights, International Espionage, History of Ideas and Human Thought, Labour History, Jewish Studies and the Holocaust. Gureilla Movements., Russian and Soviet History and Literature. Womens Studies and Feminism.

Informazioni sull’azienda del venditore

Kennys Bookshop and Art Galleries (Holdings) Limited

Liosbán Retail Park, Tuam Road
Galway, Irlanda H91 N5P8