臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)

關於TAIR
	計畫說明

跳至:
或輸入年份:

從最近的開始

由舊到新排序

顯示項目 2244021-2244030 / 2346973 (共234698頁)
<< < 224398 224399 224400 224401 224402 224403 224404 224405 224406 224407 > >>
每頁顯示[10|25|50]項目

機構	日期	題名	作者
臺大學術典藏	2021-11-26T05:25:06Z	Trees for E	SHAWN MICHAEL STANDEFER
臺大學術典藏	2021-11-26T05:25:58Z	Revisiting Semilattice Semantics	SHAWN MICHAEL STANDEFER
臺大學術典藏	2021-11-26T05:26:40Z	Identity in Mares-Goldblatt Models for Quantified Relevant Logic	SHAWN MICHAEL STANDEFER
臺大學術典藏	2021-11-26T05:27:36Z	Proof Theory for Functional Modal Logic	SHAWN MICHAEL STANDEFER
臺大學術典藏	2021-11-26T05:28:13Z	SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS	SHAWN MICHAEL STANDEFER
臺大學術典藏	2021-11-26T05:30:25Z	Proofs and Models in Naive Property Theory: A Response to Hartry Field's ‘Properties, Propositions and Conditionals’	SHAWN MICHAEL STANDEFER; Rohan French; Greg Restall
臺大學術典藏	2021-11-26T05:31:39Z	Non-triviality done proof-theoretically	French, R.; SHAWN MICHAEL STANDEFER
臺大學術典藏	2021-11-26T05:32:29Z	Inferentialism, structure, and conservativeness	Hjortland, O.; SHAWN MICHAEL STANDEFER
臺大學術典藏	2021-11-26T05:33:26Z	Intersubstitutivity principles and the generalization function of truth	Anil Gupta; SHAWN MICHAEL STANDEFER
臺大學術典藏	2021-11-26T05:34:22Z	SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS	SHAWN MICHAEL STANDEFER

顯示項目 2244021-2244030 / 2346973 (共234698頁)
<< < 224398 224399 224400 224401 224402 224403 224404 224405 224406 224407 > >>
每頁顯示[10|25|50]項目

	English \| 正體中文 \| 简体中文 \| 總筆數 :2854037
	造訪人次 : 45328532 線上人數 : 952 教育部委託研究計畫計畫執行:國立臺灣大學圖書館