Logic of Computable Functions (Q6667465)
Jump to navigation
Jump to search
1969 formalism by Dana Scott
Language | Label | Description | Also known as |
---|---|---|---|
English | Logic of Computable Functions |
1969 formalism by Dana Scott |
Language | Label | Description | Also known as |
---|---|---|---|
English | Logic of Computable Functions |
1969 formalism by Dana Scott |