The Semantic Foundations of Logic Volume 1.
von Carnielli Walter Verlag: Dordrecht, Springer Netherlands,
1990. Hardcover 403 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 792306228
Modalities and Multimodalities
von Walter Carnielli, Claudio Pizzi
2010 Kartoniert, 320 Seiten, 235mm x 155mm x 18mm, Sprache(n): eng Unique in providing a philosophically and historically based introduction to modal logic accessible to every reader, emphasizing the notion of multimodality as a background while carefully delineating the mathematics behind the t…
Paraconsistent Logic: Consistency, Contradiction and Negation
von Marcelo Esteban Coniglio, Walter Carnielli
2016 Gebunden, 424 Seiten, 241mm x 160mm x 29mm, Sprache(n): eng Is the first book in the field to offer a comprehensive overview of the subjectOffers insights into paraconsistent logic as a tool for reasoning under contradictorinessCovers topics ranging from the history of paraconsistent logic…
Paraconsistent Logic: Consistency, Contradiction and Negation
von Marcelo Esteban Coniglio, Walter Carnielli
2018 Kartoniert, 424 Seiten, 235mm x 155mm x 23mm, Sprache(n): eng Is the first book in the field to offer a comprehensive overview of the subject Offers insights into paraconsistent logic as a tool for reasoning under contradictoriness Covers topics ranging from the history of paraconsistent…
Computability - Computable Functions, Logic, and the Foundations of Mathematics
von Richard L. Epstein, Walter A Carnielli
2008 Gebunden, 384 Seiten, 240mm x 161mm x 25mm, Sprache(n): eng The classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathe…
Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery (Stu…
von Lorenzo Magnani Verlag: Springer,
Auflage: 2010 30.08.2010. 8° Gebundene Ausgabe 654 Seiten Ausgetragenes Bibliotheksexemplar, Seiten fast wie neu ISBN: 9783642152221
Modalities and Multimodalities
von Juliana Bueno-Soler Verlag: Springer Netherland,
2008 2008. Neubindung, Buchschnitt verkürzt, Ausgabe 2008 4705184/12
Analysis and Synthesis of Logics - How to Cut and Paste Reasoning Systems
von Walter Carnielli Verlag: Springer Netherland,
2008 2008. Neubindung, Buchschnitt verkürzt, Ausgabe 2008 4072802/12
Analysis and Synthesis of Logics - How to Cut and Paste Reasoning Systems
von Walter Carnielli, Marcelo Coniglio, Cristina Sernadas, Paula Gouveia, Dov M. Gabbay
2010 Kartoniert, 620 Seiten, 235mm x 155mm x 34mm, Sprache(n): eng First book addressing both composition and decomposition of logics Tool box for combining and decomposing logics in different guises Mathematical approach Several examples in such diverse areas as software specification, knowledg…
- Autor
- Walter Carnielli
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!