「檔案:TypeTheoryAndFormalProofCh3Sec1.pdf」的資訊
跳至導覽
跳至搜尋
檢視此頁面的保護日誌。
基本資訊
| 顯示標題 | 檔案:TypeTheoryAndFormalProofCh3Sec1.pdf |
| 預設排序方式： | TypeTheoryAndFormalProofCh3Sec1.pdf |
| 頁面長度（位元組） | 137 |
| 命名空間 | 檔案 |
| 頁面ID | 940 |
| 頁面內容語言 | zh-tw - 中文（台灣） |
| 頁面內容模型 | wiki語法 |
| 由機器人建立索引 | 允許 |
| 指向此頁面的重新導向頁面數量 | 0 |
| 雜湊值 | ccf9f56e01bd46e006d48c1edd94b98b68dd8210 |
頁面保護
| 編輯 | 允許所有使用者（無限期） |
| 移動 | 允許所有使用者（無限期） |
| 上傳 | 允許所有使用者（無限期） |
編輯歷史
| 頁面建立者 | Tankianting（討論 | 貢獻） |
| 頁面建立日期 | 2024年12月26日 (四) 16:27 |
| 最近編輯者 | Tankianting（討論 | 貢獻） |
| 最近編輯日期 | 2024年12月26日 (四) 16:27 |
| 編輯總次數 | 1 |
| 作者總數 | 1 |
| 最近編輯次數（過去90天內） | 1 |
| 最近作者數 | 1 |