Glivenko and Kuroda for Simple Type Theory

Brown, Chad E.; Rizkallah, Christine

doi:10.1017/jsl.2013.10

Local TagsRelease HistoryDetailsSummary

Glivenko and Kuroda for Simple Type Theory

Brown, C. E., & Rizkallah, C. (2014). Glivenko and Kuroda for Simple Type Theory. The Journal of Symbolic Logic, 79(2), 485-495. doi:10.1017/jsl.2013.10.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-5B0E-E Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-8088-6

Genre: Journal Article

Latex : Glivenko and {Kuroda} for Simple Type Theory

Files

show Files

Locators

show

Creators

show

hide

Creators:
Brown, Chad E.¹, Author
Rizkallah, Christine², Author

Affiliations:
1External Organizations, ou_persistent22
2Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2014Date issued: 2014

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: BrownRizkallah2014
DOI: 10.1017/jsl.2013.10

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: The Journal of Symbolic Logic

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: Poughkeepsie, NY : Association of Symbolic Logic

Pages: - Volume / Issue: 79 (2) Sequence Number: - Start / End Page: 485 - 495 Identifier: ISSN: 0022-4812