|
 |
|
|
|
1 - 10 von 21
  |
|
 |
Ihre Aktion |
suchen [und] sys \mat 300.600
|
|
|
|
|
 |
1. |
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics
/ Wallen, Lincoln. - Cambridge, Mass. [u.a.] : MIT Pr., 1990
|
|
|
|
2. |
Automated theorem-proving in non-classical logics
/ Thistlewaite, Paul B.. - New York : Wiley, 1988
|
|
|
|
3. |
Intensional logic: theory and applications : [proceedings of the Second Soviet-Finnish Logic Conference, Moscow, on December 3 -7, 1979]
/ Niinluoto, Ilkka. - Helsinki : Societas Philosophica Fennica, 1982
|
|
|
|
4. |
Glauben, Wissen und Wahrscheinlichkeit : Systeme der epistemischen Logik
/ Lenzen, Wolfgang *1946-*. - Wien : Springer, 1980
|
|
|
|
5. |
Untersuchungen zur intensionalen Logik
/ Bülow, Ralf *1953-*. - 1980
|
|
|
|
6. |
Einbettung der intensionalen Logik Montagues in eine mehrsortige extensionale Logik
/ Thomé, Claudia. - Kiel, 1978
|
|
|
|
7. |
Recent work in epistemic logic
/ Lenzen, Wolfgang *1946-*. - Amsterdam : North-Holland Publ., 1978
|
|
|
|
8. |
Dialogische Logik
/ Lorenzen, Paul *1915-1994*. - Darmstadt : Wiss. Buchges., 1978
|
|
|
|
9. |
Entwurf und Untersuchung einer nicht-klassischen Logik für logische Falschheit
/ Berger, Wolfgang. - 1977
|
|
|
|
10. |
Konstruktive Logik, Ethik und Wissenschaftstheorie
/ Lorenzen, Paul *1915-1994*. - 2., verb. Aufl. - Mannheim : Bibliograph. Inst., 1975
|
|
|
|
|
|
|
1 - 10 von 21
|
|
|
|
|
1 - 10 von 21
|
|
|
