본문 바로가기 주메뉴 바로가기

22대 대한민국 국회 국회정보길라잡이 국회의원검색

회원가입 로그인

정보검색
정보검색

필요한 정보가 있으신가요? 국회도서관 소장정보부터 전자자료까지 다양한 지식정보를 검색하실 수 있습니다.
입법지원서비스
입법지원서비스

의정활동에 필요한 자료를 어디서 찾을지 고민되셨다면, 입법 지원서비스 메뉴를 확인해보세요. 국회도서관에서 제공하는 의회·법률정보부터 AI 분석까지, 국회의 입법 활동을 뒷받침하는 전문정보를 모았습니다.
책이야기
책이야기

어떤 책을 읽을지 고민되시나요? 국회의원 추천도서부터 전문가 서평, 북 큐레이션과 전자책·오디오북까지 다양한 콘텐츠를 통해 책과 함께하는 지식문화 서비스를 제공합니다.
이용자마당
이용자마당

국회도서관을 처음 이용하신다면 이용자마당을 확인해보세요. 이용 시간과 자료실 안내 등 도서관 이용에 필요한 정보와 각종 신청·참여 서비스를 확인하고 편리하게 이용하세요.
도서관소개
도서관소개

국회도서관은 어떤 일을 하고 있을까요? 국회도서관의 역사와 역할, 조직 및 주요 업무부터 대외활동까지 국회도서관의 모든 것을 한눈에 살펴보실 수 있습니다.

전체메뉴

HOME

소장정보 검색

국회도서관 홈으로 정보검색 소장정보 검색

결과 내 검색

동의어 포함

고급검색

상세검색
저자 검색
관련 키워드 검색
주제별 검색

완전일치
전방일치
후방일치

인명/단체명

	저자정보	상세정보
인명/단체명을 입력하세요.

전방일치
완전일치
후방일치
부분일치

키워드

대표어
외국어
네이버 백과사전

용어관계 검색결과
대표어	동의어	상위어	하위어	관련어	대립어

대분류

중분류

소분류

소장자료
외부기관 자료

-

전체선택

1.

국내기사 지적인 테니스 경기 : 톰슨과 베나세라프의 재대결 = An intellectual tennis match : the rematch between Thompson and Benacerraf 최훈

수록정보 : 論理硏究 = Korean journal of logic. 제29집 제1호 (2026. 2), p. 89-114
발행사항 : 서울 : 한국논리학회, 2026. 2. 28

자료이용 :

해당자료 없음

2.

국내기사 힐버트 : 암묵적 정의와 구조적 정의 = Hilbert on implicit definition and structural definition 박준용

수록정보 : 論理硏究 = Korean journal of logic. 제29집 제1호 (2026. 2), p. 47-87
발행사항 : 서울 : 한국논리학회, 2026. 2. 28

자료이용 :

해당자료 없음

3.

국내기사 Implicational tonoid (fuzzy) logics and Lindenbaum matrix semantics = 함의적 토노이드 (퍼지) 논리와 린덴바움 행렬 의미론 Eunsuk Yang

수록정보 : 論理硏究 = Korean journal of logic. 제29집 제1호 (2026. 2), p. 1-17
발행사항 : 서울 : 한국논리학회, 2026. 2. 28

자료이용 :

해당자료 없음

4.

국내기사 Translating the copula esse into Chinese : the Mingli Tan approach (1631) = 계사 esse의 중국어 번역 연구 : 『명리탐』(1631)을 중심으로 Min-Jun Huh

수록정보 : 論理硏究 = Korean journal of logic. 제29집 제1호 (2026. 2), p. 115-150
발행사항 : 서울 : 한국논리학회, 2026. 2. 28

자료이용 :

해당자료 없음

5.

국내기사 Standard completeness of substructural fuzzy predicate logic MICAL∀ = 준구조 퍼지 술어 논리 MICAL∀ 의 표준 완전성 Yeonhong Kim

수록정보 : 論理硏究 = Korean journal of logic. 제29집 제1호 (2026. 2), p. 19-46
발행사항 : 서울 : 한국논리학회, 2026. 2. 28

자료이용 :

해당자료 없음

6.

국내기사 ML[t] : an identity-less monotone logic = ML[t] : 항등원 없는 단조 논리 Eunsuk Yang

수록정보 : 論理硏究 = Korean journal of logic. 제28집 제3호 (2025. 10), p. 229-243
발행사항 : 서울 : 한국논리학회, 2025. 10. 31

자료이용 :

전자자료

7.

국내기사 Categorical abstractions for representing temporal organizations of type mechanisms = 유형 메커니즘의 시간적 구조를 표상하기 위한 범주적 추상화 Jinyeong Gim

수록정보 : 論理硏究 = Korean journal of logic. 제28집 제1호 (2025. 2), p. 81-111
발행사항 : 서울 : 한국논리학회, 2025. 2. 28

자료이용 :

전자자료

8.

국내기사 실천적 고려는 믿음의 동기적 이유가 될 수 있는가? = Can practical considerations be motivating reasons for belief? 박성수

수록정보 : 論理硏究 = Korean journal of logic. 제28집 제2호 (2025. 6), p. 113-149
발행사항 : 서울 : 한국논리학회, 2025. 6. 30

자료이용 :

전자자료

9.

국내기사 Two senses of ‘not true’ and the intuitionistic natural deduction system = ‘참이 아님’의 두 가지 뜻과 직관주의 자연연역 체계 Seungrak Choi

수록정보 : 論理硏究 = Korean journal of logic. 제28집 제2호 (2025. 6), p. 151-193
발행사항 : 서울 : 한국논리학회, 2025. 6. 30

자료이용 :

전자자료

10.

국내기사 엄격한 고유성과 허용가능한 의견 집합 = Strict propriety and permissible opinion sets 정재민

수록정보 : 論理硏究 = Korean journal of logic. 제28집 제2호 (2025. 6), p. 195-227
발행사항 : 서울 : 한국논리학회, 2025. 6. 30

자료이용 :

전자자료

1
2
3
4
5

다음

전체선택

추천서가 (다양한 추천 자료를 만나보세요)

요즘 인기자료

일간 인기는 매일 새벽 2시에 갱신합니다.
주간 인기는 매주 월요일 새벽 2시에 갱신합니다.
월간 인기는 매월 1일 새벽 2시에 갱신합니다.
꾸준 인기도서

꾸준 인기도서는 매주 월요일 새벽 2시에 갱신합니다.

‘한국논리학회’관련 국회 의정지원 전문 정보

국회의원
정책자료
0
입법자료포털
0
AI시사분석
아르고스
0
지방의정포털
0

내서재에 담기

내서재 입력란으로 서재명, 설명, 공개여부로 구성
담을곳

저장

새로운 서재

* 서재명
설명
* 공개수준	비공개 완전공개 * 주의: 국회도서관 이용자 모두에게 공유서재로 서비스 됩니다.

권호기사보기

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명	저자명	페이지	원문	기사목차

내보내기 종류 선택

내보내기 종류 선택

이메일 제목
- EndNote에서 이용 가능한 형식으로 반출합니다.

확인 취소

목차 상세보기

저자 프로필

초록 상세보기

해제 상세보기

안건 상세보기

권호기사

기사정보	원문보기	기사목차

닫기

권호

※ 1990년 이정 발행자료는 소장사항을 참조하십시오.

기사접기 원문보기 권호목차보기

1

2

닫기

이용현황

등록번호	권호\|자료실	이용여부	예약/서비스
3137728	- \| 서고(열람신청 후 1층 대출대)	이용가능	R예약가능
3137728	- \| 서고(열람신청 후 1층 대출대)	이용가능	R상호이용

닫기

권호 기사

기사명	원문보기	기사목차

닫기