Old Web
English
Sign In
Acemap
>
Paper
>
Strong Normalization for Truth Table Natural Deduction
Strong Normalization for Truth Table Natural Deduction
2019
Herman Geuvers
Iris van der Giessen
Tonny Hurkens
Keywords:
Mathematics
Discrete mathematics
Truth table
Calculus
Natural deduction
Normalization (statistics)
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]