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.
Beispiel-Sammlung zur Arithmetik und Algebra
Beispiel-Sammlung zur Arithmetik und AlgebraProf. Dr. H. SchubertPocketboek: Sammlung Göschen
€5,00
Microcomputers in numerical analysis (Ellis Horwood series in mathematics and its applications)
Microcomputers in numerical analysis (Ellis Horwood series in mathematics and its applications)Lindfield, G.R.ters in numerical analysis (Ellis Horwood series in mathematics and its applications)Lindfield, G.R.
€4,00
Vector Analysis
Vector AnalysisJ. W. Gibbs, Ph.D, E. B. Wilson, PhD.A Text-book for the use of students of mathematics and physics
€7,00
Vraagstukken over Hoogere Algebra en Rekenkunde
Vraagstukken over Hoogere Algebra en RekenkundeP. WijdenesBij den tweeden druk: "Door het jarenlange gebruik van de vraagstukken uit deze verzameling op den cursus K 1 en door vele wenken van andere gebruikers heb ik ruimschoots gelegenheid gehad het werk aan alle kanten te herzien en te verbeteren. Daar de stof ruim voldoende is om zich in de Hoogere Algebra te oefenen, heb ik gemeend het werk niet te moeten uitbreiden. Bovendien vindt men in deel II van de "Tien Jaargangen van het Nieuw Tijdsc...
€7,00