Articoli correlati a Extensions of First Order Logic
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.
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,66
Spedizione EUR 15,82
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)
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. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Codice articolo 6666-IUK-9780521019026
Compra nuovo
EUR 91,32
Spedizione EUR 4,64
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, 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 98,64
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: 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 9,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 (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 English. Codice articolo ria9780521019026_new
Compra nuovo
EUR 103,53
Spedizione EUR 13,13
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, 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,95
Spedizione EUR 20,41
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, GB, 2005
ISBN 10: 0521019028
ISBN 13: 9780521019026
Nuovo
Paperback
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. 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. Codice articolo LU-9780521019026
Compra nuovo
EUR 124,00
Spedizione gratuita
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: 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 129,20
Spedizione EUR 9,23
Spedito in U.S.A.
Spedito in 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, Woodside, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 412. Codice articolo 26401839
Compra nuovo
EUR 135,66
Spedizione EUR 3,51
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 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: CitiRetail, Stevenage, Regno Unito
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 our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9780521019026
Compra nuovo
EUR 101,82
Spedizione EUR 43,04
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili