Strong Normalization for Truth Table Natural Deduction

Thumbnail Image

Files

Primary 209241.pdf (396.06 KB)

Date

2019

Authors

Geuvers, J.H. Herman
Giessen, I. van der
Hurkens, Tonny
Altenkirch, T.
Schubert, A.

Journal Title

Journal ISSN

Volume Title

Publisher

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

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

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By