登入選單
返回Google圖書搜尋
Advances in Contemporary Logic and Computer Science
Walter Alexandre Carnielli
其他書名
Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil
出版American Mathematical Soc., 1999
主題Computers / Programming / GeneralMathematics / Discrete MathematicsMathematics / Logic
ISBN08218136419780821813645
URLhttp://books.google.com.hk/books?id=cFMbCAAAQBAJ&hl=&source=gbs_api
EBookSAMPLE
註釋The 16 selected papers have been revised and updated for publication. They report recent research and findings in logic, philosophical logic, and connections between logic and computer science, with a heavy emphasis on work in Brazil and elsewhere in Latin America. The topics include the mathematical structure of logical syntax, a tableau calculus for Dummett predicate logic, and a modal framework for consequential implications and the factor law. The volume is not indexed. Annotation copyrighted by Book News, Inc., Portland, OR