Piotr Borowik – författare
Visar alla böcker från författaren Piotr Borowik. Handla med fri frakt och snabb leverans.
5 produkter
Many-Valued Logics 1
Theoretical Foundations
Av Leonard Bolc, Piotr Borowik
Inbunden, 1992
1093 kr
Lägg i varukorg
Many-valued logics were developed as an attempt to handlephilosophical doubts about the "law of excluded middle" inclassical logic. The first many-valued formal systems weredeveloped by J. Lukasiewicz in Poland and E.Post in theU.S.A. in the 1920s, and since then the field has expandeddramatically …
Many-Valued Logics 2
Automated Reasoning and Practical Applications
Av Leonard Bolc, Piotr Borowik
Inbunden, 2003
550 kr
Lägg i varukorg
Many-valued logics is becoming increasingly important in many branches of science. This is the second volume of a comprehensive two-volume handbook on many-valued logics by two leading members of the famous Polish school of logic. While the first volume of 1992 was mainly concerned with theoretical …
Many-Valued Logics 1
Theoretical Foundations
Av Leonard Bolc, Piotr Borowik
Häftad, 2010
1093 kr
Lägg i varukorg
Many-valued logics were developed as an attempt to handlephilosophical doubts about the "law of excluded middle" inclassical logic. The first many-valued formal systems weredeveloped by J. Lukasiewicz in Poland and E.Post in theU.S.A. in the 1920s, and since then the field has expandeddramatically …
Many-Valued Logics 2
Automated Reasoning and Practical Applications
Av Leonard Bolc, Piotr Borowik
Häftad, 2010
566 kr
Lägg i varukorg
Many-valued logics is becoming increasingly important in many branches of science. This is the second volume of a comprehensive two-volume handbook on many-valued logics by two leading members of the famous Polish school of logic. While the first volume of 1992 was mainly concerned with theoretical …
Many-Valued Logics 1
Theoretical Foundations
Av Piotr Borowik, Leonard Bolc
E-bok, 2013
1459 kr
Lägg i varukorg
Many-valued logics were developed as an attempt to handlephilosophical doubts about the "law of excluded middle" inclassical logic. The first many-valued formal systems weredeveloped by J. Lukasiewicz in Poland and E.Post in theU.S.A. in the 1920s, and since then the field has expandeddramatically …
