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.
Ausgleichungsrechnung nach der Methode der kleinsten Quadrate I
Ausgleichungsrechnung nach der Methode der kleinsten Quadrate IProf. Wilh. WeitbrechtPocketboek: Sammlung Göschen
€5,00
0 biedingen
Elemente Der Fuktionentheorie
Elemente Der FuktionentheorieDr. Niels NielsenVorlesungen gehalten an der Universität Kopnhagen vonDr. Niels Nielsen ordenlichem professor der reinen mathematik
€15,00
1 bod
Wiskunde met verve
Wiskunde met verveProf. Dr. F. van der BlijBron: Schittering
Opdrachten
1. Veelvlakken en verhoudingen
2. Vierkantjes en schaakborden
3. Met de computer
Onderzoek
Presentatie
Aanwijzingen
€2,00
0 biedingen