- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: The review of symbolic logic, Band 14, Ausgabe 1, Seite 1-21, 2021
- Classification
-
Philosophie
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Humboldt-Universität zu Berlin
- (when)
-
2021
- Creator
-
Lampert, Timm
Säbel, Markus
- DOI
-
10.18452/23373
- URN
-
urn:nbn:de:kobv:11-110-18452/24018-4
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:33 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Lampert, Timm
- Säbel, Markus
- Humboldt-Universität zu Berlin
Time of origin
- 2021
Other Objects (12)
Quantifier elimination in second-order predicate logic
Wittgenstein's notes on logic
Reflections on free logic
A note on cut-elimination for classical propositional logic
Free Choice in Modal Inquisitive Logic
A quantum logic gate for free electrons
Identity Creating Goods and Free Trade
Social identity and social free-riding
Free objects in constraint-logic object-oriented programming
An inference engine for function free logic programs
Neutral Free Logic: Motivation, Proof Theory and Models
Free Objects in Constraint-logic Object-oriented Programming
Quantifier elimination in second-order predicate logic
Wittgenstein's notes on logic
Reflections on free logic
A note on cut-elimination for classical propositional logic
Free Choice in Modal Inquisitive Logic
A quantum logic gate for free electrons
Identity Creating Goods and Free Trade
Social identity and social free-riding
Free objects in constraint-logic object-oriented programming
An inference engine for function free logic programs
Neutral Free Logic: Motivation, Proof Theory and Models
Free Objects in Constraint-logic Object-oriented Programming
Quantifier elimination in second-order predicate logic
Wittgenstein's notes on logic
Reflections on free logic
A note on cut-elimination for classical propositional logic
Free Choice in Modal Inquisitive Logic
A quantum logic gate for free electrons
Identity Creating Goods and Free Trade
Social identity and social free-riding
Free objects in constraint-logic object-oriented programming
An inference engine for function free logic programs
Neutral Free Logic: Motivation, Proof Theory and Models