The following pages link to Georg Kreisel (Q1238802):
Displaying 50 items.
- (Q3964564) (← links)
- (Q3966132) (← links)
- (Q4079564) (← links)
- (Q4087149) (← links)
- (Q4101810) (← links)
- (Q4103079) (← links)
- (Q4103501) (← links)
- (Q4140961) (← links)
- (Q4192054) (← links)
- (Q4193431) (← links)
- Number theoretic concepts and recursive well-orderings (Q5337196) (← links)
- La prédicativité (Q5339291) (← links)
- (Q5343326) (← links)
- (Q5344164) (← links)
- (Q5509676) (← links)
- (Q5513756) (← links)
- (Q5522915) (← links)
- (Q5525322) (← links)
- Applications of formalized consistency proofs II (Q5528661) (← links)
- Metarecursive sets (Q5536268) (← links)
- (Q5536619) (← links)
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis (Q5537358) (← links)
- (Q5539743) (← links)
- (Q5545514) (← links)
- (Q5545515) (← links)
- (Q5551419) (← links)
- Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems (Q5552747) (← links)
- (Q5567860) (← links)
- A survey of proof theory (Q5569099) (← links)
- (Q5569100) (← links)
- (Q5579002) (← links)
- (Q5582322) (← links)
- (Q5592220) (← links)
- (Q5596755) (← links)
- (Q5597507) (← links)
- (Q5599159) (← links)
- (Q5599164) (← links)
- (Q5606570) (← links)
- (Q5607987) (← links)
- (Q5608740) (← links)
- Formal systems for some branches of intuitionistic analysis (Q5611760) (← links)
- (Q5612467) (← links)
- (Q5618337) (← links)
- (Q5623672) (← links)
- (Q5623682) (← links)
- (Q5631101) (← links)
- (Q5633976) (← links)
- Persistent and invariant formulas relative to theories of higher order (Q5642556) (← links)
- (Q5648331) (← links)
- Two notes on the foundations of set-theory (Q5668423) (← links)
