Tekijä: MANZANO SILVA; MARIA ELENA Kustantaja: INSTITUTO DE ESTUDIOS FISCALES (2013) Saatavuus: | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa
Tekijä: Nuria Manzano Soto; María Consuelo Vélaz de Medrano Ureta Kustantaja: Universidad Nacional de Educación a Distancia (2004) Saatavuus: Ei tiedossa
Tekijä: Patrick Blackburn; Hans van Ditmarsch; Maria Manzano; Fernando Soler-Toscano Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011) Saatavuus: Noin 17-20 arkipäivää
Tekijä: SAN JUAN MANZANO; MARIA DEL PILAR Kustantaja: ANTONIO PARRA GALINDO (2015) Saatavuus: | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa
Tekijä: María Vallet-Regí; Miguel Manzano García; Montserrat Colilla Kustantaja: Taylor & Francis Ltd (2019) Saatavuus: | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa
Tekijä: José Luis Zamora Manzano; Juan Alfredo Obarrio Moreno; María José . . . et al. Bravo Bosch Kustantaja: Editorial Dykinson, S.L. (2020) Saatavuus: Ei tiedossa
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.
