대구한의대학교 향산도서관

자료검색

소장자료+타기관자료검색

검색 타입
상세검색
검색어[전방일치/ 주제어:Logic.]
총 93건 중 93건 출력
6/10 페이지 엑셀파일 출력

검색간략리스트

열거형 테이블형
Search Option
Service Form
51.
서명
Uniform Properties of Ideals in Rings of Restricted Power Series  미리보기
저자
Barnicle, Madeline Grace
출판사
University of California, Los Angeles. : ProQuest Dissertations & Theses
청구기호
510
출판년
2019
자료유형
E-Book E-Book URL
소장처
 
52.
서명
The Effective Theory of Graphs, Equivalence Relations, and Polish Spaces  미리보기
저자
Arant, Tyler James
출판사
University of California, Los Angeles. : ProQuest Dissertations & Theses
청구기호
160
출판년
2019
자료유형
E-Book E-Book URL
소장처
 
53.
서명
Logical Pluralism and Vicious Regresses  미리보기
저자
Boyd, Daniel
출판사
City University of New York. : ProQuest Dissertations & Theses
청구기호
100
출판년
2020
자료유형
E-Book E-Book URL
소장처
 
54.
서명
Cross-Disciplinary Integration: Through Argumentation and for Sustainability  미리보기
저자
Laursen, Bethany
출판사
Michigan State University. : ProQuest Dissertations & Theses
청구기호
338.9
출판년
2020
자료유형
E-Book E-Book URL
소장처
 
55.
서명
Better Virtuous than Safe: A Study on the Safety Principle in Epistemology  미리보기
저자
Zhao, Haicheng
출판사
Saint Louis University. : ProQuest Dissertations & Theses
청구기호
100
출판년
2020
자료유형
E-Book E-Book URL
소장처
 
56.
서명
The Modal Logic of Potential Infinity, with an Application to Free Choice Sequences  미리보기
저자
Brauer, Ethan
출판사
The Ohio State University. : ProQuest Dissertations & Theses
청구기호
160
출판년
2020
자료유형
E-Book E-Book URL
소장처
 
57.
서명
Relations Between Set Theory and Computability Theory: the Case for Localization Numbers and Sets Closed Under Turing Equivalence  미리보기
저자
Ongay Valverde, Ivan
출판사
The University of Wisconsin - Madison. : ProQuest Dissertations & Theses
청구기호
160
출판년
2020
자료유형
E-Book E-Book URL
소장처
 
58.
서명
On Altruism: A Behavioral Study  미리보기
저자
Di Tella, Carolina
출판사
New York University. : ProQuest Dissertations & Theses
청구기호
616
출판년
2020
자료유형
E-Book E-Book URL
소장처
 
59.
서명
Doing Without: Philosophy of Logic and Language Against and for Nominalist Ontology  미리보기
저자
Fisher, David
출판사
Indiana University. : ProQuest Dissertations & Theses
청구기호
100
출판년
2020
자료유형
E-Book E-Book URL
소장처
 
60.
서명
A Path Paved by Proof Complexity towards Verifying Nonlinear Integer Arithmetic  미리보기
저자
Liew, Vincent
출판사
University of Washington. : ProQuest Dissertations & Theses
청구기호
004
출판년
2020
자료유형
E-Book E-Book URL
소장처
 
1 2 3 4 5 6 7 8 9 10 
바구니보기
Serial Form

도서관정보

(38610)경상북도 경산시 한의대로 1 대구한의대학교 향산도서관 FAX : 053-819-1260, 1261

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.