Japanese journal of mathematics. New series
Online ISSN : 1861-3624
Print ISSN : 0289-2316
An extension of intermediate predicate logics to higher order
Dedicated to Emeritus Professor Katudi Ono on the occasion of his Sanju anniversary
Toshio UMEZAWA
Author information
JOURNAL FREE ACCESS

1991 Volume 17 Issue 1 Pages 37-55

Details
Download PDF (1336K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors
© The Mathematical Society of Japan
Previous article Next article
Favorites & Alerts

Recently viewed articles
Predecessor

Japanese journal of mathematics :transactions and abstracts

Share this page
feedback
 Top