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.
Differentiaal en Integraalrekening deel 1 Som & Verschil; Afstand en Snelheid
nieuwe wiskunde tweede fase profiel NG en NT
€3,00
De normale verdeling
1. Wat is normaal?2. Het bord van Galton3. Standaard-normaal4. Van normaal naar standaard-normaal
€3,00
A Gateway to Numeracy
ProefschriftA Study of Numeracy in Adult Basic Education1.Numeracy in Adult Basic Education2. Numeracy Skills of Adults in ABE3. Numeracy Learning and Teachiing in ABE4. Development of a Numeracy Program for ABE5. Conclusion and Discussion
€3,00
Actoren en factoren achter het wiskundecurriculum sinds 1600
ProefschriftI InleidingII De Duytsche Mathematiue in Leiden 1600–1681III De Fundati van Renswoude in Utrecht 1756–1810IV De HBS in Nederland 1863–1900V Lessen voor de 21e eeuw
€5,00