A normal form theorem for first order formulas and its application to Gaifman's splitting theorem(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)

Holdings of Libraries in Japan

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

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

other

Kyoto University Research Information Repository
Digital
You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
Kyoto University Research Information Repository

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

Material Type: 記事
Title: A normal form theorem for first order formulas and its application to Gaifman's splitting theorem(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
Author/Editor: MOTOHASHI, Nobuyoshi
Author Heading: MOTOHASHI, Nobuyoshi
Publication, Distribution, etc.: 京都大学数理解析研究所
Publication Date: 1984-03
Publication Date (W3CDTF): 1984-03
Periodical title: 数理解析研究所講究録
No. or year of volume/issue: 516
Volume: 516
Pages: 40-52
ISSN (Periodical Title): ISSN : 1880-2818
Text Language Code: eng
Alias of Author: 本橋, 信義
モトハシ, ノブヨシ
NDC: 410
Target Audience: 一般
Format (IMT): application/pdf
Source: 0516-5.pdf （fulltext）
http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/98389/1/0516-5.pdf
Access Restrictions: インターネット公開
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 京都大学 : 京都大学学術情報リポジトリ