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.
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,94
Spedizione EUR 15,88
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 (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 97,42
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)
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,88
Spedizione EUR 18,08
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 (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 94,35
Spedizione EUR 13,99
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
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 95,62
Spedizione EUR 14,59
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 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
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 99,32
Spedizione EUR 20,49
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 127,60
Spedizione EUR 9,11
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, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 412. Codice articolo 26401839
Compra nuovo
EUR 133,98
Spedizione EUR 3,46
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Extensions of First-Order Logic
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 412 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Codice articolo 7446128
Compra nuovo
EUR 137,53
Spedizione EUR 7,59
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili