Revision history for entry Barwise, Jon (1969). "Applications of strict π11 predicates to infinitary logic" [BARAOS] |
| Time | Type | Notes |
| 2010-09-27T06:44:10 | update |
Revision history for entry Barwise, Jon (1969). "Applications of strict π11 predicates to infinitary logic" [BARAOS] |
| Time | Type | Notes |
| 2010-09-27T06:44:10 | update |