Maria Manzano – författare
Visar alla böcker från författaren Maria Manzano. Handla med fri frakt och snabb leverans.
6 produkter
Model Theory
Inbunden, 1999
3864 kr
Lägg i varukorg
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 …
Extensions of First-Order Logic
Av Maria Manzano, C. J. Van Rijsbergen m. fl.
Häftad, 2005
1188 kr
Lägg i varukorg
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 …
Life and Work of Leon Henkin
Essays on His Contributions
Av María Manzano, Ildikó Sain m. fl.
Häftad, 2014
552 kr
Lägg i varukorg
This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on “The completeness of formal systems” under the direction of Alonzo …
Life and Work of Leon Henkin
Essays on His Contributions
Av Enrique Alonso, Ildiko Sain m. fl.
E-bok, 2014
734 kr
Lägg i varukorg
This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on “The completeness of formal systems” under the direction of Alonzo …
Tools for Teaching Logic
Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings
Av Patrick Blackburn, Hans van Ditmarsch m. fl.
Häftad, 2011
552 kr
Lägg i varukorg
This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions. The congress focusses on a variety of topics including: logic …
Tools for Teaching Logic
Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings
Av Fernando Soler-Toscano, Maria Manzano m. fl.
E-bok, 2011
718 kr
Lägg i varukorg
This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions. The congress focusses on a variety of topics including: logic …
