A Note on I‐Types

Mathematical Logic Quarterly 27 (2-6):95-96 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19810270208

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Note on I‐Types.Philipp Rothmaler - 1981 - Mathematical Logic Quarterly 27 (2‐6):95-96.
A Note on Products and Degree of Types.J. Wierzejewski - 1976 - Mathematical Logic Quarterly 23 (27‐30):431-434.
A Note on Products and Degree of Types.J. Wierzejewski - 1977 - Mathematical Logic Quarterly 23 (27-30):431-434.
A Note on Pavelka's Fuzzy Logic.Esko Turunen - 1991 - Mathematical Logic Quarterly 37 (2‐4):39-40.
A Note On The Interpolation Theorem In First Order Logic.George Weaver - 1982 - Mathematical Logic Quarterly 28 (14-18):215-218.
A Note On A Subsystem Of Intuitionistic Logic With Constant Domains.Pierluigi Minari - 1987 - Mathematical Logic Quarterly 33 (5):385-387.
Note on definition of recursiveness.Jiří Hořejš - 1964 - Mathematical Logic Quarterly 10 (8):119-120.
Note on Structural Logics.Zbigniew Stachniak - 1985 - Mathematical Logic Quarterly 31 (19‐20):317-320.
Note on Rules of Inference.Hao Wang - 1965 - Mathematical Logic Quarterly 11 (3):193-196.
A note on the compactness theorem.R. R. Rockingham Gill - 1975 - Mathematical Logic Quarterly 21 (1):377-378.

Analytics

Added to PP
2015-12-02

Downloads
25 (#654,840)

6 months
5 (#710,311)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references