The Friedman-Sheard programme in intuitionistic logic

Warning

There is a more recent version of this eprint available. Click here to view it.

Rathjen, M and Leigh, GE (2012) The Friedman-Sheard programme in intuitionistic logic. The Journal of Symbolic Logic, 77 (3). 777 - 806 (30). ISSN 0022-4812

Abstract

Metadata

Authors/Creators:
  • Rathjen, M
  • Leigh, GE
Dates:
  • Published: September 2012
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 27 Feb 2013 12:16
Last Modified: 02 Sep 2017 13:09
Published Version: http://www.aslonline.org/
Status: Published
Publisher: Association for Symbolic Logic
Identification Number: https://doi.org/10.2178/jsl/1344862162

Available Versions of this Item

Export

Statistics


CORE (COnnecting REpositories)