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.
Pythagoras - Jaargang 22
Pythagoras - Jaargang 22Wiskundetijdschrift voor jongeren
De volledige jaargang 22, 1982-1983
€1,00
Wahrscheinlichkeits-rechnung
Wahrscheinlichkeits-rechnungProf. Dr. Otto KnopfPocketboek: Sammlung Göschen
€5,00
Advanced Plane Geometry
Advanced Plane GeometryC. ZwikkerAn attempt to combine the various parts of plane geometry
€10,00
Planimetrie III
Planimetrie IIIJ. Hoepman: Drs. A. YntemaXXV. De cirkel
XXVI. Twee cirkels
XXVII. Hoeken en bogen
XXVIII. Lijnstukken in een cirkel
XXIX. Om-, in- en aangeschreven cirkels van een driehoek
XXX. Regelmatige veelhoeken
XXXI. Oppervlakte en omtrek van de cirkel
XXXII. Trigonometrie
XXXIII. Axiomastelsel
XXXIV. Onderling onmeetbaar
€2,00