STATUS
Guest (Restricted Access)
SELECTED TITLES
Selected titles: 0

Export:
Text | Dublin Core | RIS
Journal article Journal article [Search Result] | [save] |

Bibliographic description
Title Gödel I
Involved pers. Hintikka, Jaakko; Dawson, J.W.; Tymoczko, Thomas; Parikh, Rohit; Boos, William; Kreisel, G.
Written in English
Source Journal Synthese. - Dordrecht [u.a.] : Springer Science+Business Media
Volume 114
Year 1998
Issue 1
Page 3-160
Classification
Domains / Methodology / Formalization (method.)
Domains / Methodology / Philosophy of science / Theorem proving
Domains / Psycholinguistics / Language and mathematics
Domains / Linguistic logic / Propositional logic
Domains / Linguistic logic / Conditional/Counterfactual
Domains / Philosophy of language
Redirected from
Formalization (method.) ; Rechnen (psycholing.) ; Calculation (psycholing.) ; Language and mathematics ; Propositionale Logik; Propositional logic ; Counterfactual; Modus ponens; Modus tollens; Kausalität (Logik) ; Causality (logic) ; Causation (logic) ; Philosophy of language
Named Persons
Gödel, Kurt