A Second Normal Form For Functions Of The System Ep

Mathematical Logic Quarterly 30 (25):393-400 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19840302504

Links

PhilArchive



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

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 second normal form for functions of the system ep.Rod McBeth - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (25):393-400.
A Generalisation in the Theory of Normal Functions.H. C. Doets - 1970 - Mathematical Logic Quarterly 16 (7):389-392.
System functions and their decision problems.M. B. Thuraisingham - 1984 - Mathematical Logic Quarterly 30 (7‐8):119-128.
System Functions and Their Decision Problems.M. B. Thuraisingham - 1984 - Mathematical Logic Quarterly 30 (7-8):119-128.
Reducibility Relationships Between Decision Problems for System Functions.M. B. Thuraisingham - 1987 - Mathematical Logic Quarterly 33 (4):305-312.
Prenex Normal Form in the Modal Predicate Logic PS*S and the Grosseteste Algebra of Sets GS*S.Robert L. Wilson - 1974 - Mathematical Logic Quarterly 20 (13‐18):271-280.
A proof of the normal form theorem for the closed terms of Girard's system F by means of computability.Silvio Valentini - 1993 - Mathematical Logic Quarterly 39 (1):539-544.
Oracle‐Constructions to Prove All Possible Relationships Between Relativizations of P, NP, EL, NEL, EP and NEP.Gerhard Lischke - 1986 - Mathematical Logic Quarterly 32 (17-18):257-270.
A theorem on ROD-hypersmooth equivalence relations in the Solovay model.M. Reeken & V. Kanovei - 2003 - Mathematical Logic Quarterly 49 (3):299.
Oracle‐Constructions to Prove All Possible Relationships Between Relativizations of P, NP, EL, NEL, EP and NEP.Gerhard Lischke - 1986 - Mathematical Logic Quarterly 32 (17‐18):257-270.

Analytics

Added to PP
2017-02-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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