가야대학교 분성도서관

상단 글로벌/추가 메뉴

회원 로그인

주메뉴

전체메뉴보기

전체메뉴바탕이미지TL

전체메뉴바탕이미지TR

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

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

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

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

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

전체메뉴바탕이미지BL

전체메뉴바탕이미지BR

전자자료

자료검색

E-Book

탭메뉴

검색어[전방일치/ null:Logic Symbolic and mathematical.]

총 8건 중 8건 출력

1/1 페이지

검색간략리스트

1.

서명: Reasoning about uncertainty / [electronic resource]
저자: Halpern, Joseph Y.
출판사: The MIT Press
출판년: 2017
자료유형: 전자책

2.

서명: Philosophy of mathematics in the twentieth century : selected essays /
저자: Parsons, Charles
출판사
출판년: 2014
자료유형: 전자책

3.

서명: Helping students make sense of the world using next generation science and engineering practices /
저자: Schwarz, Christina. Passmore, Cindy Reiser, Brian J.
출판사
출판년: 2016
자료유형: 전자책

4.

서명: Construction Site for Possible Worlds [electronic resource].
저자: Mackay, Robin Beech, Amanda Wiltgen, James.
출판사: Urbanomic
출판년: 2020
자료유형: 전자책

5.

서명: Word and object [electronic resource] /
저자: Quine, W. V.
출판사: MIT Press
출판년: 2013
자료유형: 전자책

6.

서명: Three Views of Logic : Mathematics, Philosophy, and Computer Science [electronic resource]
저자: Loveland, Donald W.
출판사: Princeton University Press
출판년: 2014
자료유형: 전자책

7.

서명: Two-valued iterative systems of mathematical logic. (am-5) [electronic resource].
저자: Emil L. Post.
출판사: Princeton Univ Press
출판년: 2016
자료유형: 전자책

8.

서명: Naturalizing Logico-Mathematical Knowledge : Approaches from Philosophy, Psychology and Cognitive Science
저자: Bangu, Sorin
출판사: Routledge
출판년: 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.