Logic, Construction, Computation
Logic, Construction, Computation
Ulrich Berger, Monika Seisenberger, Peter Schuster, Hannes Diener
Details
- OL Work ID
- OL21802221W
Subjects
Symbolic and mathematical Logic
Ulrich Berger, Monika Seisenberger, Peter Schuster, Hannes Diener