- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783764383534
3764383534
- Dimensions
-
24 cm
- Extent
-
X, 246 S.
- Edition
-
2. ed.
- Language
-
Englisch
- Notes
-
Literaturangaben
- Keyword
-
Universelle Logik
- Event
-
Veröffentlichung
- (where)
-
Basel, Boston, Berlin
- (who)
-
Birkhäuser
- (when)
-
2007
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:21 PM 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.
Object type
- Aufsatzsammlung
Associated
- Beziau, Jean-Yves
- Birkhäuser
Time of origin
- 2007
Other Objects (12)
Logica universalis : towards a general theory of logic
Logica Universalis
Logica Universalis.
Towards Algebraic Separation Logic
Towards Concurrent Quantitative Separation Logic
Towards Concurrent Quantitative Separation Logic
Logic and game theory
Logica Universalis Et Analytica Facultatis Cognoscendi Purae
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Towards an Epistemic Logic of Concepts
Feminist theory and dialectical logic
Logica universalis : towards a general theory of logic
Logica Universalis
Logica Universalis.
Towards Algebraic Separation Logic
Towards Concurrent Quantitative Separation Logic
Towards Concurrent Quantitative Separation Logic
Logic and game theory
Logica Universalis Et Analytica Facultatis Cognoscendi Purae
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Towards an Epistemic Logic of Concepts
Feminist theory and dialectical logic
Logica universalis : towards a general theory of logic
Logica Universalis
Logica Universalis.
Towards Algebraic Separation Logic
Towards Concurrent Quantitative Separation Logic
Towards Concurrent Quantitative Separation Logic
Logic and game theory
Logica Universalis Et Analytica Facultatis Cognoscendi Purae
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Programming, specification and interactive theorem proving : towards a unified language based on equational logic, rewriting logic and type theory
Towards an Epistemic Logic of Concepts