Andere Kunden interessierten sich auch für
![Substructural Logics]( "Substructural Logics")
Substructural Logics165,99 €![Many-Valued Logics]( "Many-Valued Logics")
Many-Valued Logics182,99 €![Modal Logic]( "Modal Logic")
Modal Logic371,99 €![Set Theory and Its Philosophy]( "Set Theory and Its Philosophy")
Set Theory and Its Philosophy222,99 €![Set Theory and Its Philosophy]( "Set Theory and Its Philosophy")
Set Theory and Its Philosophy57,99 €![A Study of Logics]( "A Study of Logics")
A Study of Logics278,99 €![Principia Mathematica]( "Principia Mathematica")
Principia Mathematica40,99 €
The author has tried to avoid the style of definition-lemma-theorem and has put in some explanation.
This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.