Home
→
Browsing by Subject

Browsing by Subject "intuitionistic logic"

Now showing items 1-1 of 1

Computational aspects of dependence logic

Lohmann, Peter (Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2012)

[no abstract]

Now showing items 1-1 of 1

Submit new document to repository

Browse

All content
- Communities & Collections
- By Issue Date
- Authors
- Titles
- Subjects
- Subjects (GND)
- DDC
- License
- Type

My Account

Usage Statistics

of the Repository