View Item 

Show simple item record

Bounds for proof-search and speed-up in the predicate calculus
dc.contributor.authorStatman, Richarden_US
dc.date.accessioned2006-04-07T16:57:13Z
dc.date.available2006-04-07T16:57:13Z
dc.date.issued1978-12en_US
dc.identifier.citationStatman, Richard (1978/12)."Bounds for proof-search and speed-up in the predicate calculus." Annals of Mathematical Logic 15(3): 225-287. <http://hdl.handle.net/2027.42/22467>en_US
dc.identifier.urihttp://www.sciencedirect.com/science/article/B6X2C-46V005Y-4H/2/a7ba672a58f0d4ac14ffe498ee52ed60en_US
dc.identifier.urihttps://hdl.handle.net/2027.42/22467
dc.format.extent3361073 bytes
dc.format.extent3118 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypetext/plain
dc.language.isoen_US
dc.publisherElsevieren_US
dc.titleBounds for proof-search and speed-up in the predicate calculusen_US
dc.typeArticleen_US
dc.rights.robotsIndexNoFollowen_US
dc.subject.hlbsecondlevelMathematicsen_US
dc.subject.hlbtoplevelScienceen_US
dc.description.peerreviewedPeer Revieweden_US
dc.contributor.affiliationumThe University of Michigan, Ann Arbor, MI, U.S.A.en_US
dc.description.bitstreamurlhttp://deepblue.lib.umich.edu/bitstream/2027.42/22467/1/0000008.pdfen_US
dc.identifier.doihttp://dx.doi.org/10.1016/0003-4843(78)90011-6en_US
dc.identifier.sourceAnnals of Mathematical Logicen_US
dc.owningcollnameInterdisciplinary and Peer-Reviewed


Files in this item

Name:
0000008.pdf
Size:
3.205MB
Format:
PDF
View/Open

Show simple item record

Remediation of Harmful Language

The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.

Accessibility

If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.