A Resolution Style Proof Procedure for Higher-Order Logic

Henschen, Lawrence Joseph

Back to results

University of Illinois at Urbana-Champaign

A Resolution Style Proof Procedure for Higher-Order Logic

dc:creator Henschen, Lawrence Joseph

thesis:degree_name Ph.D.

dc:date2014

Abstract

dc:description

Made available in DSpace on 2014-12-11T18:23:45Z (GMT). No. of bitstreams: 1 7206950.pdf: 2953370 bytes, checksum: db0d02b43c3dd10cac5a62b060f42dea (MD5) Previous issue date: 1971

Degree

thesis:*

Name thesis:degree_name: Ph.D.
Level thesis:degree_level: Dissertation
Discipline thesis:degree_discipline: Mathematics
Grantor: University of Illinois at Urbana-Champaign
Year dc:date: 2014

Author and committee

dc:creator, dc:contributor.*

Author dc:creator: Henschen, Lawrence Joseph

Subjects

dc:subject × 1

Mathematics

Identifiers

dc:identifier.*

Identifier: (UMI)AAI7206950
OAI identifier oai:identifier: oai:www.ideals.illinois.edu:2142/64812

Chain of custody

source

Harvested from: University of Illinois - Urbana-Champaign
Base URL: www.ideals.illinois.edu/oai-pmh
Last updated: 2026-07-22
Source record: OAI-PMH GetRecord

related terms

citation

Henschen, Lawrence Joseph. A Resolution Style Proof Procedure for Higher-Order Logic. Dissertation thesis, University of Illinois at Urbana-Champaign, 2014. http://hdl.handle.net/2142/64812

A Resolution Style Proof Procedure for Higher-Order Logic

Abstract

Degree

Author and committee

Subjects

Identifiers

Chain of custody

More from University of Illinois - Urbana-Champaign