Show simple item record

dc.contributor.authorHAZEN, ALLEN PATTERSONen_US
dc.date.accessioned2014-05-21T19:02:44Z
dc.date.available2014-05-21T19:02:44Z
dc.date.issued2004en_US
dc.identifier3110174383en_US
dc.identifier.urihttp://hdl.handle.net/11343/25615
dc.descriptionB1 - Research Book Chapters
dc.formatapplication/pdfen_US
dc.publisherWalter de Gruyteren_US
dc.subjectLogic; Otheren_US
dc.titleA "constructive" proper extension of ramified type theory (the logic of Principia Mathematica, second edition, Appendix B)en_US
dc.typeBook Itemen_US
melbourne.affiliationThe University of Melbourneen_US
melbourne.affiliation.departmentPhilosophy, Anthropology And Social Inquiryen_US
melbourne.source.pages449-480en_US
melbourne.publicationid28469
melbourne.elementsidNA
melbourne.contributor.authorHAZEN, ALLEN
melbourne.accessrightsThis item is currently not available from this repository


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record