Del 9463
Recent Trends in Algebraic Development Techniques
Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu
Häftad, 2015
569 kr
Del i serien Studies in Universal Logic
Institution-independent Model Theory
Inbunden, Engelska, 2025
1 959 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics.
Produktinformation
- Utgivningsdatum2025-03-06
- Mått155 x 235 x 37 mm
- Vikt1 031 g
- FormatInbunden
- SpråkEngelska
- SerieStudies in Universal Logic
- Antal sidor568
- Upplaga2
- FörlagBirkhauser Verlag AG
- ISBN9783031688539
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Del 6
Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification
Razvan Diaconescu, Kokichi Futatsugi
Inbunden, 1998
889 kr
Hoppa över listan
Mer från samma serie
Decidability of Logical Theories and Their Combination
João Rasga, Cristina Sernadas
Inbunden, 2020
839 kr
Decidability of Logical Theories and Their Combination
João Rasga, Cristina Sernadas
Häftad, 2021
839 kr
Hoppa över listan
Du kanske också är intresserad av
Decidability of Logical Theories and Their Combination
João Rasga, Cristina Sernadas
Häftad, 2021
839 kr
Universal Algebraic Logic
Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó Sain
Inbunden, 2022
1 819 kr