Logic Colloquium '02: proceedings of the annual European summer meeting…
by Association for Symbolic Logic, Chatzidakis, Zoé Maria, Koepke, Peter, Logic Colloquium, Münster (Westf), Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften, Annual European Summer Meeting of the Association for Symbolic Logic (ASL), Münster, Westf.), Biannual Meeting of the German Association for Mathematical Logic and the Foundations of Exact Sciences (DVMLG), Münster, Westf.), Colloquium Logicum, Münster, Westf.), Logic Colloquium '02, Münster, Westf.)
Logic Colloquium '99: proceedings of the Annual European Summer Meeting…
by Eijck, Jan van, Association for Symbolic Logic, Oostrom, Vincent van, Visser, Albert, Logic Colloquium, Utrecht, Logic Colloquium, Utrecht, Annual European Summer Meeting of the Association for Symbolic Logic, Utrecht)
Algebra, logic and combinatorics
by Smith, Frank, Bullett, Shaun, Fearn, Tom
fromLTCC advanced mathematics series
Elementare Aussagenlogik
by Bauer, Friedrich L., Wirsing, Martin
fromMathematik für Informatiker
Elementare Aussagenlogik
by Bauer, Friedrich L., Wirsing, Martin
fromMathematik für Informatiker
Logic: Techniques of Formal Reasoning is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and terms, while giving examples to clar…
Logic: Techniques of Formal Reasoning is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and terms, while giving examples to clar…
Collected works
by Surma, Stanisław J., LeŚniewski, Stanisław
fromNijhoff International Philosophy Series
Collected works
by Surma, Stanisław J., Leśniewski, Stanisław
fromNijhoff International Philosophy Series