岩波講座情報科学 7

The cover of this title could differ from library to library.

Available with Digitized Contents Transmission Service

国立国会図書館デジタルコレクション

Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.

Become an official registered user >

岩波講座情報科学. 7

Call No. (NDL): M121-93
Bibliographic ID of National Diet Library: 000001599152
Persistent ID (NDL): info:ndljp/pid/12628840

Material type: 図書

Author: -

Publisher: 岩波書店

Publication date: 1983.1

Material Format: Paper・Digital

Capacity, size, etc.: 202p ; 22cm

NDC: 007.08

View All

Detailed bibliographic record

Contents：: 論理と意味 / 長尾真, 淵一博 [著](Provided by: 国立国会図書館蔵書)

Search by Bookstore

Read this material in an accessible format.

View materials in accessible formats for people with print disabilities (1Type)

Provided by：国立国会図書館

7

目次
まえがき
第1章　記号論理学
1　論理学の発展と情報科学/ 1
2　文と命題論理表現/ 4

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

Northern Japan

北海道立図書館
Paper
Call No.：
４０１．０８／Ｉ／７
Book Registration Number：
1104188964
北海道立図書館
札幌市中央図書館
Paper
Call No.：
007/ｲ/
Book Registration Number：
0114864895
札幌市中央図書館
青森県立図書館
Paper
Call No.：
007.08-ｼﾞﾖｳﾎｳｶ-(7)
Book Registration Number：
10200554361
青森県立図書館
岩手県立図書館
Paper
Call No.：
００７／イ１／７
Book Registration Number：
1103000129
岩手県立図書館
宮城県図書館
Paper
Call No.：
549.9/ｼ5/7
Book Registration Number：
1001139078
宮城県図書館
秋田県立図書館
Paper
Call No.：
007.6/ｲｲ/7
Book Registration Number：
110020476
秋田県立図書館
山形県立図書館
Paper
Call No.：
549.9-ｲﾜ-7
Book Registration Number：
101219709
山形県立図書館
福島県立図書館
Paper
Call No.：
401-I3-7
Book Registration Number：
300327632
福島県立図書館

Kanto

茨城県立図書館
Paper
Call No.：
007/10/7
茨城県立図書館
栃木県立図書館
Paper
Call No.：
007.08-1-7
Book Registration Number：
1101524948
栃木県立図書館
群馬県立図書館
Paper
Call No.：
401-ﾄ45-(7)
Book Registration Number：
00249144
群馬県立図書館
埼玉県立久喜図書館
Paper
Call No.：
401-ｲ
Book Registration Number：
113910632
埼玉県立久喜図書館
さいたま市立中央図書館
Paper
Call No.：
401
Book Registration Number：
01187423
さいたま市立中央図書館
千葉県立中央図書館
Paper
Call No.：
007/I95/7
Book Registration Number：
9102427274
千葉県立中央図書館
千葉県立西部図書館
Paper
Call No.：
0076/ 24/ 7
Book Registration Number：
1100067078
千葉県立西部図書館
千葉市中央図書館
Paper
千葉市中央図書館
神奈川県立図書館
Paper
Call No.：
007.08N-1 7
Book Registration Number：
12282620
神奈川県立図書館
神奈川県立川崎図書館
Paper
Call No.：
401-I6 7
Book Registration Number：
70634480
神奈川県立川崎図書館
横浜市立図書館
Paper
Call No.：
401807
Book Registration Number：
0000129925
横浜市立図書館
川崎市立図書館
Paper
Call No.：
007 ｲﾜ 7
Book Registration Number：
410000001108
川崎市立図書館
新潟県立図書館
Paper
Call No.：
401-Ｉ９５-7
Book Registration Number：
0010090474270
新潟県立図書館
山梨県立図書館
Paper
Call No.：
００７．６／イワ／７
Book Registration Number：
0100100262
山梨県立図書館
県立長野図書館
Paper
Call No.：
007/97/7
Book Registration Number：
0101652980
県立長野図書館
静岡市立中央図書館
Paper
Call No.：
007.08/ｲ/
Book Registration Number：
110181972
静岡市立中央図書館

Tokai/Hokuriku

富山県立図書館
Paper
Call No.：
401/89/7
Book Registration Number：
000578252
富山県立図書館
石川県立図書館
Paper
Call No.：
007/1/7
Book Registration Number：
002390219
石川県立図書館
福井県立図書館
Paper
Call No.：
007/I/7
Book Registration Number：
1011514401
福井県立図書館
岐阜県図書館
Paper
Call No.：
547.01-イ-７
Book Registration Number：
8110205751
岐阜県図書館
愛知県図書館
Paper
Call No.：
007-ｼﾞ-7
Book Registration Number：
1101061060
愛知県図書館
名古屋市図書館
Paper
Call No.：
54992/ﾏ/
Book Registration Number：
0231641481
名古屋市図書館
三重県立図書館
Paper
Call No.：
549-I-7
Book Registration Number：
110175817
三重県立図書館

Kinki

滋賀県立図書館
Paper
Call No.：
2-0076-7
Book Registration Number：
120001029
滋賀県立図書館
京都府立図書館
Paper
Call No.：
549/I/7
京都府立図書館
大阪府立中央図書館
Paper
Call No.：
418.6/107
Book Registration Number：
1611094564
大阪府立中央図書館
大阪市立図書館
Paper
Book Registration Number：
0080075328
大阪市立図書館
兵庫県立図書館
Paper
Call No.：
４０１／８０／７
Book Registration Number：
101373702
兵庫県立図書館
和歌山県立図書館
Paper
Call No.：
014.9-11-7-82H
Book Registration Number：
311753008
和歌山県立図書館

Chugoku

鳥取県立図書館
Paper
Call No.：
007-ｲﾜﾅ-7-一般Ｈ
Book Registration Number：
110400100
鳥取県立図書館
島根県立図書館
Paper
Call No.：
007-0049-7
Book Registration Number：
910170340
島根県立図書館
岡山県立図書館
Paper
Call No.：
007/5/7
Book Registration Number：
0000941252
岡山県立図書館
広島県立図書館
Paper
Call No.：
401/I95/7
Book Registration Number：
1000220440
広島県立図書館
広島市立中央図書館
Paper
Call No.：
549.9-Ａ２５-７
Book Registration Number：
1382123716
広島市立中央図書館

Shikoku

徳島県立図書館
Paper
Call No.：
007-ｲﾜ-7
Book Registration Number：
00102603116
徳島県立図書館
香川県立図書館
Paper
Call No.：
0070-I5-1-7
Book Registration Number：
1103782486
香川県立図書館
愛媛県立図書館
Paper
Call No.：
007.6-48-7
Book Registration Number：
5100755217
愛媛県立図書館
高知県立図書館
Paper
Call No.：
007.08-ｲﾜ-7
Book Registration Number：
1100001948
高知県立図書館

Kyushu

福岡県立図書館
Paper
Call No.：
007-3-7
Book Registration Number：
1101147500
福岡県立図書館
佐賀県立図書館
Paper
Call No.：
４０１／Ｉ９５／７
Book Registration Number：
111318051
佐賀県立図書館
熊本県立図書館
Paper
Call No.：
007.6ｲ-ｼｭ-042948
Book Registration Number：
0110010402
熊本県立図書館
大分県立図書館
Paper
Call No.：
401-82-7
Book Registration Number：
00001420389
大分県立図書館
宮崎県立図書館
Paper
Call No.：
0070-0007-7
Book Registration Number：
1172572867
宮崎県立図書館
鹿児島県立図書館
Paper
Call No.：
0076-ｲ81-7
Book Registration Number：
0111644068
鹿児島県立図書館
沖縄県立図書館
Paper
Call No.：
007.08-I95-7
Book Registration Number：
1000240752
沖縄県立図書館

other

Japan Atomic Energy Agency's Library Catalog
Paper
Japan Atomic Energy Agency's Library Catalog
Agriculture Library Information system - WebOPAC
Search Service
Paper
You can check the holdings of institutions and databases with which Agriculture Library Information system - WebOPAC is linked at the site of Agriculture Library Information system - WebOPAC.
Check the holdings of this book

Search by Bookstore

Read in Disability Resources

Other Services
- プレーンテキスト check it on 国立国会図書館デジタルコレクション（国立国会図書館）

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper Digital

Material Type: 図書
Title: 岩波講座情報科学
Title Transcription: イワナミコウザジョウホウカガク
Volume: 7
Publication, Distribution, etc.: 東京 : 岩波書店
Publication Date: 1983.1
Publication Date (W3CDTF): 1983
Extent: 202p
Size: 22cm
Additional Title: 論理と意味ロンリトイミ
Place of Publication (Country Code): JP
Text Language Code: jpn
Subject Heading: 記号論理学キゴウロンリガク ( 00565709 )Authorities
NDC 8th ed.: 007.08
NDLC: M121
MA41
Target Audience: 一般
Note (Bibliography): 参考書: p197～198
Price: 2200円
Holding library: 国立国会図書館
Call No.: M121-93
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000001599152
http://id.ndl.go.jp/bib/000001599152
National Bibliography No. (JPNO): 83016262
Cataloging Rule: Nippon Cataloging Rules, Preliminary New Edition
Bibliographic Record Category (NDL): 111

岩波講座情報科学. 7

Search by Bookstore

Read this material in an accessible format.

Table of Contents

7

Holdings of Libraries in Japan

Search by Bookstore

Read in Disability Resources

Bibliographic Record

Paper Digital