Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil
Jan 1999 · American Mathematical Soc.
Ebook
326
Pages
reportRatings and reviews aren’t verified Learn More
About this ebook
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
Rate this ebook
Tell us what you think.
Reading information
Smartphones and tablets
Install the Google Play Books app for Android and iPad/iPhone. It syncs automatically with your account and allows you to read online or offline wherever you are.
Laptops and computers
You can listen to audiobooks purchased on Google Play using your computer's web browser.
eReaders and other devices
To read on e-ink devices like Kobo eReaders, you'll need to download a file and transfer it to your device. Follow the detailed Help Center instructions to transfer the files to supported eReaders.
