Mathematical Problems from Applied Logic I: Logics for the XXIst Century
Dov M. Gabbay · Sergei S. Goncharov · Michael Zakharyaschev
Jul 2006 · International Mathematical Series Book 4 · Springer Science & Business Media
4.0star
2 reviewsreport
Ebook
348
Pages
reportRatings and reviews aren’t verified Learn More
About this ebook
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. An overview of the current state as well as open problems and perspectives are clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics, and computability theory. The book contains interesting contributions concerning the role of logic today, including some unexpected aspects of contemporary logic and the application of logic.
Ratings and reviews
4.0
2 reviews
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.
