- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
101 S.
- Language
-
Deutsch
- Notes
-
Literaturverz. S. 99 - 101
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
MPI Informatik
- (when)
-
1993
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
- 17.02.2026, 1:10 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek.
If you have any questions about the object, please contact the data provider.
Object type
- Text
Associated
- Gabbay, Dov M. (Verfasser)
- MPI Informatik
Time of origin
- 1993
Other Objects (12)
Proof reconstruction in classical and non-classical logics
Natural deduction for non-classical logics
A framework for non-classical logics
Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism
Interval, probabilistic uncertainty and non-classical logics
Automated deduction in classical and non-classical logic : selected papers
Connection calculi for automated theorem proving in classical and non-classical logics
Translation methods for non-classical logics : an overview
Parameterized complexity of decision problems in non-classical logics
Shock discontinuities: from classical to non-classical shocks
Structural analysis of non-classical logics : the proceedings of the Second Taiwan Philosophical Logic Colloquium
Ω-bibliography [Omega-bibliography] of mathematical logic, Vol. 2.. Non-classical logics / Wolfgang Rautenberg (ed.)
Proof reconstruction in classical and non-classical logics
Natural deduction for non-classical logics
A framework for non-classical logics
Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism
Interval, probabilistic uncertainty and non-classical logics
Automated deduction in classical and non-classical logic : selected papers
Connection calculi for automated theorem proving in classical and non-classical logics
Translation methods for non-classical logics : an overview
Parameterized complexity of decision problems in non-classical logics
Shock discontinuities: from classical to non-classical shocks
Structural analysis of non-classical logics : the proceedings of the Second Taiwan Philosophical Logic Colloquium
Ω-bibliography [Omega-bibliography] of mathematical logic, Vol. 2.. Non-classical logics / Wolfgang Rautenberg (ed.)
Proof reconstruction in classical and non-classical logics
Natural deduction for non-classical logics
A framework for non-classical logics
Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism
Interval, probabilistic uncertainty and non-classical logics
Automated deduction in classical and non-classical logic : selected papers
Connection calculi for automated theorem proving in classical and non-classical logics
Translation methods for non-classical logics : an overview
Parameterized complexity of decision problems in non-classical logics
Shock discontinuities: from classical to non-classical shocks
Structural analysis of non-classical logics : the proceedings of the Second Taiwan Philosophical Logic Colloquium