The weak pigeonhole principle in models of bounded arithmetic (Q59579829)
Jump to navigation
Jump to search
doctoral thesis by Neil Thapen
Language | Label | Description | Also known as |
---|---|---|---|
English | The weak pigeonhole principle in models of bounded arithmetic |
doctoral thesis by Neil Thapen |
Statements
The weak pigeonhole principle in models of bounded arithmetic (English)
1 reference
Neil Thapen
1 reference
2002
1 reference