{"version":"1.0","type":"link","title":"Descriptive Complexity - Newikis","description":"Descriptive Complexity is a book in mathematical logic and computational complexity theory by Neil Immerman. It concerns descriptive complexity theory, an area in which the expressibility of mathematical properties using different types of logic is shown to be equivalent to their computability in…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400,"thumbnail_url":"https://upload.wikimedia.org/wikipedia/en/2/28/Descriptive_Complexity.jpg","thumbnail_width":252,"thumbnail_height":400}