소장자료
LDR | 00900camua2200277 4500 | ||
001 | 0000119715▲ | ||
005 | 20180519144640▲ | ||
008 | 701104s1970 wb b 001 0 eng ▲ | ||
010 | ▼a 79125498 //r852▲ | ||
015 | ▼a GDB***▲ | ||
041 | 1 | ▼a engger▲ | |
050 | 0 | ▼a QA3▼b .L28 no. 6 1970▲ | |
082 | ▼a 164▲ | ||
090 | ▼a 510.4▼b L47m▲ | ||
100 | 1 | 0 | ▼a Hermes, Hans.▲ |
240 | 1 | 0 | ▼a Termlogik mit Auswahloperator.▼l English▲ |
245 | 1 | 0 | ▼a Term logic with choice operator.▲ |
250 | ▼a [1st English ed.].▲ | ||
260 | 0 | ▼a Berlin,▼a New York : ▼b Springer-Verlag , ▼c 1970.▲ | |
300 | ▼a 55 p ; ▼c 26 cm.▲ | ||
350 | ▼a 6.00▼a ($1.70)▲ | ||
490 | 1 | ▼a Lecture notes in mathematics, 6▲ | |
500 | ▼a Rev. and enl. translation of Eine Termlogik mit Auswahloperator.▲ | ||
504 | ▼a Bibliography: p. 53.▲ | ||
650 | 0 | ▼a Logic, Symbolic and mathematical.▲ | |
830 | 0 | ▼a Lecture notes in mathematics (Springer-Verlag) ;▼v 6.▲ |
Term logic with choice operator
자료유형
국외단행본
서명/책임사항
Term logic with choice operator.
통일표제
Termlogik mit Auswahloperator. English
개인저자
판사항
[1st English ed.].
발행사항
Berlin , New York : Springer-Verlag , 1970.
형태사항
55 p ; 26 cm.
일반주기
Rev. and enl. translation of Eine Termlogik mit Auswahloperator.
서지주기
Bibliography: p. 53.
청구기호
510.4 L47m
소장정보
예도서예약
서서가에없는책 신고
보보존서고신청
캠캠퍼스대출
우우선정리신청
배자료배달신청
문문자발송
출청구기호출력
학소장학술지 원문서비스
등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 서비스 |
---|
북토크
자유롭게 책을 읽고
느낀점을 적어주세요
글쓰기
느낀점을 적어주세요
청구기호 브라우징
관련 인기대출 도서