Results 281 to 285 of about 206,152 (285)
Some of the next articles are maybe not open access.

Labelled Natural Deduction

2011
openaire   +1 more source

Classical natural deduction

2014
openaire   +1 more source

Assumption Classes in Natural Deduction

Mathematical Logic Quarterly, 1979
openaire   +2 more sources

A MISTAKE. A DEDUCTION, AND A MORAL.

Lancet, The, 1886
exaly  

Efficient natural deduction

1988
openaire   +1 more source
mathematics
computer science - logic in computer science
deduction
classical first-order logic
bilateralism
normalization
proof theory and constructive mathematics
16. peace & justice
previous   27  28  29  

Home - About - Disclaimer - Privacy