Revision history for entry Kreisel, Georg (1972). "Informal Rigour and Completeness Proofs" [KREIRA] |
| Time | Type | Notes |
| 2011-03-21T01:45:19 | update | |
| 2011-03-20T11:24:34 | update | |
| 2011-03-20T11:24:34 | add |
Revision history for entry Kreisel, Georg (1972). "Informal Rigour and Completeness Proofs" [KREIRA] |
| Time | Type | Notes |
| 2011-03-21T01:45:19 | update | |
| 2011-03-20T11:24:34 | update | |
| 2011-03-20T11:24:34 | add |