Originally published in 1966. This book presents a tolerably accurate and precise account of the logically relevant facets of a command, to study the nature of "inference" in reasonings involving commands, and above all to establish a viable concept of validity in command inference.
Originally published in 1966. This book presents a tolerably accurate and precise account of the logically relevant facets of a command, to study the nature of "inference" in reasonings involving commands, and above all to establish a viable concept of validity in command inference.
Preface 1. Introduction 2. Facets of a Command 3. Terminology and Symbolism 4. The Representation of Commands by 'Programs' 5. The Concept of Command Termination 6. Command Coverage and Decomposition 7. Validity and Invalidity 8. Validity in Mixed Cases 9. Logical Relations among Commands 10. Command Provisos 11. Conclusion. Index of Symbols. Index of Names. General Index
Preface 1. Introduction 2. Facets of a Command 3. Terminology and Symbolism 4. The Representation of Commands by 'Programs' 5. The Concept of Command Termination 6. Command Coverage and Decomposition 7. Validity and Invalidity 8. Validity in Mixed Cases 9. Logical Relations among Commands 10. Command Provisos 11. Conclusion. Index of Symbols. Index of Names. General Index
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309