No Cover Image

Book Chapter 595 views 144 downloads

s

Anton Setzer

Logic Colloquium 2004, Pages: 123 - 156

Published in: Logic Colloquium 2004
Published: Cambridge Cambridge University Press 2009
Online Access: http://www.cambridge.org/gb/knowledge/isbn/item1174927/?site_locale=en_GB
URI: https://cronfa.swan.ac.uk/Record/cronfa13
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2013-07-23T11:46:51Z
last_indexed 2018-02-09T04:26:59Z
id cronfa13
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2015-05-17T17:34:18Z</datestamp><bib-version>v2</bib-version><id>13</id><entry>2011-10-01</entry><title>s</title><alternativeTitle></alternativeTitle><author>Anton Setzer</author><firstname>Anton</firstname><surname>Setzer</surname><active>true</active><ORCID>0000-0001-5322-6060</ORCID><ethesisStudent>false</ethesisStudent><sid>5f7695285397f46d121207120247c2ae</sid><email>61db1ab5eaeff34062db71cc1973df39</email><emailaddr>QBY4tVYqSovxQSx/NwDRpMjwe531u+mO/3IG3xe5jMg=</emailaddr><date>2011-10-01</date><deptcode>SCS</deptcode><abstract></abstract><type>Chapter in book</type><journal>Logic Colloquium 2004</journal><volume></volume><journalNumber></journalNumber><paginationStart>123</paginationStart><paginationEnd>156</paginationEnd><publisher>Cambridge University Press</publisher><placeOfPublication>Cambridge</placeOfPublication><isbnPrint/><isbnElectronic/><issnPrint></issnPrint><issnElectronic></issnElectronic><keywords></keywords><publishedDay>1</publishedDay><publishedMonth>1</publishedMonth><publishedYear>2009</publishedYear><publishedDate>2009-01-01</publishedDate><doi></doi><url>http://www.cambridge.org/gb/knowledge/isbn/item1174927/?site_locale=en_GB</url><notes></notes><college>College of Science</college><department>Computer Science</department><CollegeCode>CSCI</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution/><researchGroup>Theoretical Computer Science</researchGroup><supervisor></supervisor><sponsorsfunders/><grantnumber/><degreelevel/><degreename></degreename><lastEdited>2015-05-17T17:34:18Z</lastEdited><Created>2011-10-01T00:00:00Z</Created><path><level id="1">College of Science</level><level id="2">Computer Science</level></path><authors><author><firstname>Anton</firstname><surname>Setzer</surname><orcid/><order>1</order></author></authors><documents><document><filename>0000013-17052015173407.pdf</filename><originalFilename>modeltypetheoryinaccessiblemahlo.pdf</originalFilename><uploaded>2015-05-17T17:34:07Z</uploaded><type>Output</type><contentLength>268542</contentLength><contentType>application/pdf</contentType><version>NA</version><cronfaStatus>true</cronfaStatus><action>Published to Cronfa</action><actionDate>17/05/2015</actionDate><embargoDate>2015-05-17T17:34:07</embargoDate><documentNotes></documentNotes><copyrightCorrect>false</copyrightCorrect><language/></document></documents></rfc1807>
spelling 2015-05-17T17:34:18Z v2 13 2011-10-01 s Anton Setzer Anton Setzer true 0000-0001-5322-6060 false 5f7695285397f46d121207120247c2ae 61db1ab5eaeff34062db71cc1973df39 QBY4tVYqSovxQSx/NwDRpMjwe531u+mO/3IG3xe5jMg= 2011-10-01 SCS Chapter in book Logic Colloquium 2004 123 156 Cambridge University Press Cambridge 1 1 2009 2009-01-01 http://www.cambridge.org/gb/knowledge/isbn/item1174927/?site_locale=en_GB College of Science Computer Science CSCI SCS Theoretical Computer Science 2015-05-17T17:34:18Z 2011-10-01T00:00:00Z College of Science Computer Science Anton Setzer 1 0000013-17052015173407.pdf modeltypetheoryinaccessiblemahlo.pdf 2015-05-17T17:34:07Z Output 268542 application/pdf NA true Published to Cronfa 17/05/2015 2015-05-17T17:34:07 false
title s
spellingShingle s
Setzer, Anton
title_short s
title_full s
title_fullStr s
title_full_unstemmed s
title_sort s
author_id_str_mv 5f7695285397f46d121207120247c2ae
author_id_fullname_str_mv 5f7695285397f46d121207120247c2ae_***_Setzer, Anton
author Setzer, Anton
author2 Anton Setzer
format Book Chapter
container_title Logic Colloquium 2004
container_start_page 123
publishDate 2009
institution Swansea University
publisher Cambridge University Press
college_str College of Science
hierarchytype
hierarchy_top_id collegeofscience
hierarchy_top_title College of Science
hierarchy_parent_id collegeofscience
hierarchy_parent_title College of Science
department_str Computer Science{{{_:::_}}}College of Science{{{_:::_}}}Computer Science
url http://www.cambridge.org/gb/knowledge/isbn/item1174927/?site_locale=en_GB
document_store_str 1
active_str 1
researchgroup_str Theoretical Computer Science
published_date 2009-01-01T14:38:34Z
_version_ 1634239580692545536
score 11.012678

Similar Items