Systems of illative combinatory logic complete for first-order propositional and predicate calculus

Thumbnail Image

Files

Primary 13276.pdf (7.33 MB)

Date

1993

Authors

Barendregt, Henk
Bunder, M.
Dekkers, W.

Journal Title

Journal ISSN

Volume Title

Publisher

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/17259

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By