The following pages link to (Q4944337):
Displaying 9 items.
- A basic theory with predicates (Q700066) (← links)
- Introducing basic theories for the foundations of mathematics (Q1330266) (← links)
- Predicate calculus and metatheoretic concepts within a basic theory for the Foundations of Mathematics (Q1901521) (← links)
- Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics (Q2441763) (← links)
- (Q3699662) (← links)
- (Q3829529) (← links)
- (Q4247076) (← links)
- Linearly Stratified Models for the Foundations of Nonstandard Mathematics (Q4379634) (← links)
- (Q5203706) (← links)