Sinossi
An introduction to many-sorted logic as an extension of first-order logic.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Descrizione del libro
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to work.
Contenuti
1. Standard second order logic; 2. Deductive calculi; 3. Categoricity of second order peano arithmetic; 4. Frames and general structures; 5. Type theory; 6. Many-sorted logic; 7. Applying MSL.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Extensions of First Order Logic
Foto dell'editore
Extensions of First Order Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
Editore:
Cambridge University Press, 2005
ISBN 10: 0521019028
ISBN 13: 9780521019026
Antico o usato
Brossura
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9780521019026. Codice articolo 3736675
Compra usato
EUR 73,23
Spedizione EUR 15,73
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Extensions of First-Order Logic (Paperback)
Editore:
Cambridge University Press, Cambridge, 2005
ISBN 10: 0521019028
ISBN 13: 9780521019026
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses. Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to work. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780521019026
Compra nuovo
EUR 96,69
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Extensions of First-Order Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 19) (Volume 0)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo I-9780521019026
Compra nuovo
EUR 96,70
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Extensions of First-Order Logic (Cambridge Tracts in Theoretical Computer Science, Series Number 19) (Volume 0)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521019026_new
Compra nuovo
EUR 89,79
Spedizione EUR 13,85
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Extensions of First Order Logic (Cambridge Tracts in Theoretical Computer Science)
Editore:
Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521019028
ISBN 13: 9780521019026
Nuovo
Paperback
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9780521019026
Compra nuovo
EUR 87,04
Spedizione EUR 17,91
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Extensions of First-Order Logic
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 388 pages. 9.50x6.50x1.00 inches. In Stock. This item is printed on demand. Codice articolo __0521019028
Compra nuovo
EUR 94,71
Spedizione EUR 14,45
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. An introduction to many-sorted logic as an extension of first-order logic. 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: 412 pages, black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 21. Weight in Grams: 650. . 2008. Revised ed. paperback. . . . . Codice articolo V9780521019026
Compra nuovo
EUR 102,70
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Extensions of First-Order Logic
Editore:
Cambridge University Press, 2005
ISBN 10: 0521019028
ISBN 13: 9780521019026
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9780521019026
Compra nuovo
EUR 98,37
Spedizione EUR 20,29
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Extensions of First-Order Logic
Editore:
Cambridge University Press CUP, 2005
ISBN 10: 0521019028
ISBN 13: 9780521019026
Nuovo
Brossura
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 412. Codice articolo 26401839
Compra nuovo
EUR 127,11
Spedizione EUR 3,44
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. An introduction to many-sorted logic as an extension of first-order logic. 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: 412 pages, black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 21. Weight in Grams: 650. . 2008. Revised ed. paperback. . . . . Books ship from the US and Ireland. Codice articolo V9780521019026
Compra nuovo
EUR 126,66
Spedizione EUR 9,04
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili