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.
Hülfstabellen zum Gebrauche harmonischer Funktionen
Hülfstabellen zum Gebrauche harmonischer Funktionenllen zum Gebrauche harmonischer Funktionen
€5,00
Pythagoras - Jaargang 43
Pythagoras - Jaargang 43Wiskundetijdschrift voor jongeren
De volledige jaargang 43, 2003-2004
€1,00
Voortgezette wiskunde 4 - Fourier-theorie en systeemtheorie
Voortgezette wiskunde 4 - Fourier-theorie en systeemtheorieDrs. A. Kaldewaij, Dr. J. van Tiel1. Fourierreeksen
2. Fourierintegralen
3. Convolutie
4. Discrete signalen
€8,00
Pythagoras - Jaargang 27
Pythagoras - Jaargang 27Wiskundetijdschrift voor jongeren
De volledige jaargang 27, 1987-1988
€1,00