167 search results - page 1 / 34 » Mathematical Logic and Deduction in Computer Science Educati... |
137
Voted
IIE
2008
15 years 4 months ago
2008
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does...
116
Voted
SIGCSE
1990
ACM
15 years 9 months ago
1990
ACM
164
Voted
RTA
2004
Springer
15 years 10 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
97
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
146
Voted
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
