Beschrijving
Tense Logic
Robert P. McArthur
1. An Overview of Tense Logic
2. Linear Tense Logics
3. Branching Tense Logic and Temporal Modality
4. Quantificational Tense Logics
5. Soundness and Completeness Theorems for Tense Logic
Robert P. McArthur
1. An Overview of Tense Logic
2. Linear Tense Logics
3. Branching Tense Logic and Temporal Modality
4. Quantificational Tense Logics
5. Soundness and Completeness Theorems for Tense Logic
Specificaties
- Auteur
- Robert P. McArthur
- Uitgever
- D. Reidel
- Jaar
- 1976
- Druk
- -
- Aantal pagina's
- 84
- Taal
- Engels
- Doos
- B44
Betalingen & retouren
- Betaalmethoden
- Overboeking
Stuur bericht
Aanmelden om een vraag te stellen aan de verkoper.
Geen artikelen gevonden.