Publications

Atomic Polymorphism and the Existence Property

AuthID
P-00P-GZV

Author(s)

Ferreira, G

Document Type

Article

Year published

2018

Published

in ANNALS OF PURE AND APPLIED LOGIC, ISSN: 0168-0072

Volume: 169, Issue: 12, Pages: 1303-1316 (14)

Conference

European Summer Meeting of the Association-For-Symbolic-Logic / Logic Colloquium, Date: AUG 03-08, 2015, Location: Univ Helsinki, City Ctr Campus, Helsinki, FINLAND, Sponsors: Univ Helsinki, Dept Math & Stat, Assoc Symbol Log, Federat Learned Soc, Emil Aaltonen Fdn, Finnish Acad Sci & Letters, Host: Univ Helsinki, City Ctr Campus

Indexing