Decidability and finite model property of substructural logics / Hiroakira Ono. (ILLC research report and technical notes series. Computation and complexity theory (CT) series ; ML-95-09)

Decidability and finite model property of substructural logics / Hiroakira Ono.

(ILLC research report and technical notes series. Computation and complexity theory (CT) series ; ML-95-09)

Call No. (NDL): MA41-A104
Bibliographic ID of National Diet Library: 000003251541

Material type: 図書

Author: 小野, 寛晰, 1942-

Publisher: Institute for Logic, Language and Computation (ILLC) , University of Amsterdam

Publication date: [1995?]

Material Format: Paper

Capacity, size, etc.: 12 p. ; 30 cm.

NDC: -

View All

Notes on use

Note (General)：: Bibliography: p. 10-12.

Search by Bookstore

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

Material Type: 図書
ISSN (series): 0928-3323
Title: Decidability and finite model property of substructural logics / Hiroakira Ono.
Series Title: ILLC research report and technical notes series. Computation and complexity theory (CT) series ; ML-95-09
Author Heading: 小野, 寛晰, 1942- オノ, ヒロアキラ, 1942- ( 00061580 )Authorities
Publication, Distribution, etc.: Amsterdam : Institute for Logic, Language and Computation (ILLC) , University of Amsterdam
Publication Date: [1995?]
Publication Date (W3CDTF): 1995
Extent: 12 p. ; 30 cm.
Text Language Code: eng
Subject Heading: 記号論理学. Kigoronrigaku.
NDLC: MA41
Note (General): Bibliography: p. 10-12.
Holding library: 国立国会図書館
Call No.: MA41-A104
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003251541
http://id.ndl.go.jp/bib/000003251541
Bibliographic Record Category (NDL): 211