AN INTRODUCTION TO MATHEMATICAL LOGIC AND TYPE THEORY: TO TRUTH THROUGH PROOF.

Andrews, Peter B.

Condizione: Usato

Lista dei preferiti

Venduto da Antiquariaat Van Veen, Veelerveen, Paesi Bassi

Venditore AbeBooks dal 28 novembre 2007

Valutazione del venditore 3 su 5 stelle

Visualizza gli articoli del venditore

Mostra tutte le copie di questo libro

Usato

Prezzo: EUR 29,50 Convertire valuta

EUR 9,95 per la spedizione da Paesi Bassi a Italia Destinazione, tempi e costi

Quantit�: 1 disponibili

Aggiungere al carrello

Lista dei preferiti

Riguardo questo articolo

USA, Academic Press, 1986. 1st edition 304 pp. Pb with dustjacket . This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan"s Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand"s Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. very good condition.

Codice articolo 23237

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: AN INTRODUCTION TO MATHEMATICAL LOGIC AND TYPE THEORY: TO TRUTH THROUGH PROOF.

Descrizione libreria

Antiquariaat van Veen (since 1998) has a general stock but is the right adress for books with heart & soul: astrology, Zen, yoga, spirituality, Krishnamurti, C.G. Jung, Atlantis, Bhagwan/Osho, Buddhism, Tibet, reiki, health, China, mysticism etc. Service as you would like it to be! Feel free to contact us. Man spricht Deutsch / English spoken / On parle Francais. Scans of all books available on demand.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Antiquariaat Van Veen
Netherlands

Condizioni di vendita e spedizione

Condizioni di vendita

Books are in normal antiquarian condition. Small defects, like a few underlinings, library stamps, rust spots, names of previous owners, etc.have not always been mentioned. If in doubt about the bookcondition, please ask us by e-mail. Scans of the books are allways possible.
Books that do not match our description, can be returned within a week after receipt, and after previous consultation.
Payment by Abebooks, VISA, EURO/MASTER-card or PayPal.
Books remain our property until full payment is re...

Ulteriori informazioni

Diritto di recesso

Condizioni di spedizione

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping times cannot be guaranteed. They are only estimates based on the carriers' delivery times, and do not include Customs processing. If your order will pass through Customs, please expect a delay.

Tariffe di spedizione da Paesi Bassi a Italia

Tariffe di spedizione da Paesi Bassi a Italia
Quantit� dell?ordine	Da 3 a 12 giorni lavorativi	Da 2 a 5 giorni lavorativi
Primo articolo	EUR 9.95	EUR 9.95

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

PayPal Pagamento su ricezione fattura Bonifico bancario

Aggiungi ai desiderata