Pages that link to "Item:Q1047744"
From MaRDI portal
The following pages link to Mathematical logic: Proof theory, constructive mathematics. Abstracts from the workshop held April 6--12, 2008. (Q1047744):
Displaying 5 items.
- Logic, combinatorics and independence results. Abstracts from the mini-workshop held November 25 -- December 2, 2006. (Q1046964) (← links)
- Set theory. Abstracts from the workshop held January 13--19, 2008. (Q1047728) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- (Q3593060) (← links)
- (Q5444943) (← links)