Foto de l'autor
16+ obres 325 Membres 1 crítiques 2 preferits

Sobre l'autor

Crispin Wright is Leverhulme Research Professor and Bishop Wardlaw Professor at the University of St. Andrews and Global Distinguished Professor at New York University.

Obres de Crispin Wright

Obres associades

Etiquetat

Coneixement comú

Membres

Ressenyes

Indeholder "Kapitel 1. Hvad er formel logik?", "Kapitel 2. Formalisering", "Kapitel 3. Sandhedstabeller", "Kapitel 4. Semantiske træer for domslogikken", "Kapitel 5. Syntaks for prædikatslogikken", "Kapitel 6. Modeller og modeksempler", "Kapitel 7. Semantiske træer for prædikatslogikken", "Appendiks. Oversigt over den logiske syntaks samt de semantiske træ-regler".

"Kapitel 1. Hvad er formel logik?" handler om ???
"Kapitel 2. Formalisering" handler om ???
"Kapitel 3. Sandhedstabeller" handler om ???
"Kapitel 4. Semantiske træer for domslogikken" handler om ???
"Kapitel 5. Syntaks for prædikatslogikken" handler om ???
"Kapitel 6. Modeller og modeksempler" handler om ???
"Kapitel 7. Semantiske træer for prædikatslogikken" handler om ???
"Appendiks. Oversigt over den logiske syntaks samt de semantiske træ-regler" handler om ???

Lille populær lærebog i formel logik.
… (més)
 
Marcat
bnielsen | Apr 5, 2015 |

Potser també t'agrada

Autors associats

Estadístiques

Obres
16
També de
1
Membres
325
Popularitat
#72,884
Valoració
4.1
Ressenyes
1
ISBN
44
Llengües
2
Preferit
2

Gràfics i taules