An Arithmetical Hierarchy of the Laws of Excluded Middle and Related Principles LICS 2004, Turku, Finland - PowerPoint PPT Presentation

1 / 14
} ?>
View by Category
About This Presentation
Title:

An Arithmetical Hierarchy of the Laws of Excluded Middle and Related Principles LICS 2004, Turku, Finland

Description:

Title: An Arithmetical Hierarchy of the Laws of Excluded Middle and Related Principles LICS 2004, Turku, Finland Author: stefano Last modified by – PowerPoint PPT presentation

Number of Views:35
Avg rating:3.0/5.0
Slides: 15
Provided by: Stef379
Learn more at: http://www.di.unito.it
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com