View in EDS HTML Full Text PDF Full Text

A first-order theory of Ulm type.

Saved in:
Bibliographic Details
Title: A first-order theory of Ulm type.
Authors: Harrison-Trainor, Matthew1 (AUTHOR) maharris@uwaterloo.ca, Brattka, Vasco (AUTHOR), Downey, Rod (AUTHOR), Knight, Julia F. (AUTHOR), Lempp, Steffen (AUTHOR)
Source: Computability. 2019, Vol. 8 Issue 3/4, p347-358. 12p.
Database: Academic Search Ultimate
Full text is not displayed to guests.
Description
ISSN:22113568
DOI:10.3233/COM-180099