Synopsis
Logic languages are free from the ambiguities of natural languages, and are therefore specially suited for use in computing. Model theory is the branch of mathematical logic which concerns the relationship between mathematical structures and logic languages, and has become increasingly important in areas such as computing, philosophy and linguistics. As the reasoning process takes place at a very abstract level, model theory applies to a wide variety of structures. It is also possible to define new structures and classify existing ones by establishing links between them. These links can be very useful since they allow us to transfer our knowledge between related structures. This book provides a clear and readable introduction to the subject, and is suitable for both mathematicians and students from outside the subject. It includes some historically relevant information before each major topic is introduced, making it a useful reference for non-experts. The motivation of the subject is constantly explained, and proofs are also explained in detail.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Author: Maria Gracia Manzano Arjona, Profesora Titular de Lógica, Departamento de Lógica y Filosofia de la Ciencia, Facultad de Filosofia, Universidad de Salamanca, Campus Unamuno, Edificio FES, 37007 Salamanca, SPAIN. Tel: +34 23 294640 x3416; fax: +34 23 294638; email: mara@gugu.usal.es Translator: Dr Ruy J. G. B. de Queiroz, Departamento de Informatica, Universidade Federal de Pernambuco, Av. Prof. Luis Freire, Cidade Universitaria, Recife, PE 50740-540, BRAZIL. Tel: +55 81 271 8430; fax: +55 81 271 8438; email: ruy@di.ufpe.br
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Model Theory
Image d'archives
Model Theory (Oxford Logic Guides)
Edité par
Oxford University Press, 1999
ISBN 10 : 0198538510
ISBN 13 : 9780198538516
Neuf
Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780198538516_new
Acheter neuf
EUR 192,93
Frais de port :
EUR 13,65
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Model Theory: 37 (Oxford Logic Guides)
Edité par
Oxford University Press, USA, 1999
ISBN 10 : 0198538510
ISBN 13 : 9780198538516
Neuf
Couverture rigide
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L1-9780198538516
Acheter neuf
EUR 201,77
Frais de port :
EUR 5,72
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Model Theory
Edité par
Oxford University Press, 1999
ISBN 10 : 0198538510
ISBN 13 : 9780198538516
Neuf
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 75736-n
Acheter neuf
EUR 206,51
Frais de port :
EUR 2,26
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Model Theory
Edité par
Oxford University Press, USA, 1999
ISBN 10 : 0198538510
ISBN 13 : 9780198538516
Neuf
Couverture rigide
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L1-9780198538516
Acheter neuf
EUR 208,86
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Model Theory
Edité par
Oxford University Press, 1999
ISBN 10 : 0198538510
ISBN 13 : 9780198538516
Neuf
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 75736-n
Acheter neuf
EUR 191,99
Frais de port :
EUR 17,09
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Model Theory (Hardcover)
Edité par
Oxford University Press, Oxford, 1999
ISBN 10 : 0198538510
ISBN 13 : 9780198538516
Neuf
Couverture rigide
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. Logic languages are free from the ambiguities of natural languages, and are therefore specially suited for use in computing. Model theory is the branch of mathematical logic which concerns the relationship between mathematical structures and logic languages, and has become increasingly important in areas such as computing, philosophy and linguistics. As the reasoning process takes place at a very abstract level, model theory applies to a wide variety of structures.It is also possible to define new structures and classify existing ones by establishing links between them. These links can be very useful since they allow us to transfer our knowledge between relatedstructures. This book provides a clear and readable introduction to the subject, and is suitable for both mathematicians and students from outside the subject. It includes some historically relevant information before each major topic is introduced, making it a useful reference for non-experts. The motivation of the subject is constantly explained, and proofs are also explained in detail. Logic languages are used in computing. Model theory is the mathematical logic which concerns the relationship between mathematical structures and logic languages. The text includes historical information before each topic is introduced. The motivation of the subject and the proofs are explained. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. N° de réf. du vendeur 9780198538516
Acheter neuf
EUR 187,82
Frais de port :
EUR 31,74
De Australie vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Model Theory
Edité par
Oxford University Press, 1999
ISBN 10 : 0198538510
ISBN 13 : 9780198538516
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 75736
Acheter D'occasion
EUR 219,45
Frais de port :
EUR 2,26
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Model Theory (Oxford Logic Guides, 37)
Edité par
Oxford University Press, 1999
ISBN 10 : 0198538510
ISBN 13 : 9780198538516
Neuf
Couverture rigide
Vendeur : BennettBooksLtd, San Diego, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-0198538510
Acheter neuf
EUR 221,82
Frais de port :
EUR 5,96
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Model Theory (Hardcover)
Edité par
Oxford University Press, Oxford, 1999
ISBN 10 : 0198538510
ISBN 13 : 9780198538516
Neuf
Couverture rigide
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. Logic languages are free from the ambiguities of natural languages, and are therefore specially suited for use in computing. Model theory is the branch of mathematical logic which concerns the relationship between mathematical structures and logic languages, and has become increasingly important in areas such as computing, philosophy and linguistics. As the reasoning process takes place at a very abstract level, model theory applies to a wide variety of structures.It is also possible to define new structures and classify existing ones by establishing links between them. These links can be very useful since they allow us to transfer our knowledge between relatedstructures. This book provides a clear and readable introduction to the subject, and is suitable for both mathematicians and students from outside the subject. It includes some historically relevant information before each major topic is introduced, making it a useful reference for non-experts. The motivation of the subject is constantly explained, and proofs are also explained in detail. Logic languages are used in computing. Model theory is the mathematical logic which concerns the relationship between mathematical structures and logic languages. The text includes historical information before each topic is introduced. The motivation of the subject and the proofs are explained. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9780198538516
Acheter neuf
EUR 192
Frais de port :
EUR 42,15
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Model Theory
Edité par
Oxford University Press, 1999
ISBN 10 : 0198538510
ISBN 13 : 9780198538516
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 75736
Acheter D'occasion
EUR 221,09
Frais de port :
EUR 17,09
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles