You are in : Home » Results & submissions » Select UOA » 10 - Mathematical Sciences » View submission: University of Leeds » Outputs » Detail

Output details

10 - Mathematical Sciences

Output 177 of 193 in the submission

Article title

The Friedman-Sheard programme in intuitionistic logic

Type

D - Journal article

DOI

Title of journal

The Journal of Symbolic Logic

Article number

Volume number

Issue number

First page of article

777

ISSN of journal

0022-4812

Year of publication

2012

URL

Number of additional authors

Additional information

Interdisciplinary

Cross-referral requested

Research group

C - Logic

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract