Logic : form and function; the mechanization of deductive reasoning /
41
Main Author: | |
---|---|
Format: | |
Published: |
Edinburgh : Edinburgh University Press,
1979
|
Subjects: |
41
Main Author: | |
---|---|
Format: | |
Published: |
Edinburgh : Edinburgh University Press,
1979
|
Subjects: |