An Extension of propositional logic by algorithmic concepts.
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
München
TU
1974
|
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
| Order eBook: |
|
| Order Book: | Login to order |
Lignende værker: An Extension of propositional logic by algorithmic concepts.
- Propositional logical Thinking and comprehension of language connectives. A developmental analysis.
- Proposition composée
- An Algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation
- An Algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation.
- Propositions sur Catulle.
- The Concepts and logic of classical thermodynamics as a theory of heat engines.