Logic of Arithmetic
Szerző:
Walter Felscher
Elérhetőség:
Beszállítói készleten
Küldés 9-15 napon belül
34 826
Ft
For propositional logic it can be decided whether a formula has a deduction from a finite set of oth...