Model Theory
Formal logic, free from the ambiguities of natural languages, is especially suited for use in computing. In turn, model theory, which is concerned with the relationship between mathematical structures and logic, now has a wide range of applications in areas such as computing, philosophy, and linguistics. Model theory's power comes from its usefulness in defining new structures and in classifying existing ones by establishing links between them. This book, suitable for both mathematicians and students from outside the field, provides a clear and readable introduction to the subject. It includes brief historically background for each major topi…
Mehr
CHF 239.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V105:
Folgt in ca. 15 Arbeitstagen
Produktdetails
Weitere Autoren: De Queiroz, Ruy J. G. B. (Übers.)
- ISBN: 978-0-19-853851-6
- EAN: 9780198538516
- Produktnummer: 22667830
- Verlag: OXFORD UNIV PR
- Sprache: Englisch
- Erscheinungsjahr: 1999
- Seitenangabe: 264 S.
- Masse: H23.4 cm x B15.6 cm x D1.8 cm 549 g
- Reihenbandnummer: 37
- Gewicht: 549
Über den Autor
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
4 weitere Werke von Maria Manzano:
Bewertungen
Anmelden