Systems of explicit mathematics with non-constructive -operator. Part II

Authors: Feferman S.; Jager G.

Source: Annals of Pure and Applied Logic, Volume 79, Number 1, 2 May 1996 , pp. 37-52(16)

Publisher: Elsevier

Language: English

Document Type: Research article

DOI: http://dx.doi.org/10.1016/0168-0072(95)00028-3

Affiliations: 1: Departments of Mathematics and Philosophy, Stanford University, Stanford, CA 94305, USA

Publication date: 1996-05-02

• In this: publication
• By this: publisher
• In this Subject: Mathematics and Statistics
• By this author: Feferman S. ;  Jager G.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers