가야대학교 분성도서관

상단 글로벌/추가 메뉴

회원 로그인

주메뉴

전체메뉴보기

전체메뉴바탕이미지TL

전체메뉴바탕이미지TR

: • 전체검색; • 단행본; • 정기간행물; • 학위논문; • 비도서; • 특정번호 검색; • 기사색인; • 학습연구지원; • 지정도서

: • 전자자원통합검색; • 해외 WEB DB; • E-Book; • E-Learning; • 국내 WEB DB; • 인터넷검색

: • 대출현황조회/연장; • 예약현황조회/취소; • 희망도서; • 내서재; • 나의서평; • 나의태그; • 나의위젯; • RSS; • SDI; • 개인정보관리

: • 공지사항; • FAQ; • Q&A 일반·학술; • 신착/인기 도서; • 학위논문온라인제출; • 외부인 이용안내; • 설문조사

: • 도서관 소개; • 연혁; • 현황; • 이용안내; • 찾아오시는 길

전체메뉴바탕이미지BL

전체메뉴바탕이미지BR

자료검색

자료검색

Home

검색어[전방일치/ 주제어:Logic.]

총 5건 중 5건 출력

1/1 페이지

검색간략리스트

1.

서명: Pushing the Limits of Compiler Verification
저자: Mullen, Eric.
발행기관: University of Washington. : ProQuest Dissertations & Theses
청구기호: 004
발행년: 2018
자료유형: 학위논문
소장처: 가야대학교 대출가능

2.

서명: Decidability in the Hyperdegrees and a Theorem of Hyperarithmetic Analysis
저자: Barnes, James Samuel.
발행기관: Cornell University. : ProQuest Dissertations & Theses
청구기호: 160
발행년: 2018
자료유형: 학위논문
소장처: 가야대학교 대출불가(별치)

3.

서명: The Philosophical Foundations of PLEN: A Protocol-theoretic Logic of Epistemic Norms
저자: Jenkins, Ralph.
발행기관: City University of New York. : ProQuest Dissertations & Theses
청구기호: 100
발행년: 2018
자료유형: 학위논문
소장처: 가야대학교 대출불가(별치)

4.

서명: The Combinatorics and Absoluteness of Definable Sets of Real Numbers
저자: Norwood, Zach.
발행기관: University of California, Los Angeles. : ProQuest Dissertations & Theses
청구기호: 160
발행년: 2018
자료유형: 학위논문
소장처: 가야대학교 대출불가(별치)

5.

서명: Computably Enumerable Boolean Algebras
저자: Tran, Ying-Ying.
발행기관: Cornell University. : ProQuest Dissertations & Theses
청구기호: 160
발행년: 2018
자료유형: 학위논문
소장처: 가야대학교 대출불가(별치)

1

바구니보기

대출현황/연장

예약현황조회/취소

자료구입신청

상호대차

FAQ

교외접속

사서에게 물어보세요

메뉴추가

quickBottom

카피라이터

하단 로고

김해캠퍼스 | 621-748 | 경남 김해시 삼계로 208 | TEL:055-330-1033 | FAX:055-330-1032
Copyright 2012 by kaya university Bunsung library All rights reserved.