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.
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
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
De veiling website gebruikt functionele cookies. We gebruiken Google ReCaptcha (v2) om spambots tegen te gaan. Als je doorgaat stem je in met het gebruik van deze cookies.