 |
|
|
|
| 1. |
|
Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies
Peter Schroeder-Heister, Gerhard Heinzmann, Wilfrid Hodges
Häftad. College Publications, Storbritannien, 2015.
|
 |
| 2. |
|
The Logical Writings of Karl Popper
David Binder, Thomas Piecha, Peter Schroeder-Heister
Inbunden. Springer Nature Switzerland AG, Schweiz, 2022.
|
|
| 3. |
|
The Logical Writings of Karl Popper
David Binder, Thomas Piecha, Peter Schroeder-Heister
Häftad. Springer Nature Switzerland AG, Schweiz, 2022.
|
|
| 4. |
|
Advances in Proof-Theoretic Semantics
Thomas Piecha, Peter Schroeder-Heister
Inbunden. Springer International Publishing AG, Schweiz, 2015.
|
|
| 5. |
|
Advances in Proof-Theoretic Semantics
Thomas Piecha, Peter Schroeder-Heister
Häftad. Springer International Publishing AG, Schweiz, 2016.
|
|
| 6. |
|
Proof Theory in Computer Science
Reinhard Kahle, Peter Schroeder-Heister, Robert Strk
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2001.
|
|
| 7. |
|
Proof Theory in Computer Science
Reinhard Kahle, Peter Schroeder-Heister, Robert Stark
E-bok. Springer Berlin Heidelberg, Tyskland, 2003.
|
|
| 8. |
|
Extensions of Logic Programming
Peter Schroeder-Heister
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1991.
|
|
| 9. |
|
Extensions of Logic Programming
Lars-Henrik Eriksson, Lars Hallns, Peter Schroeder-Heister
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1992.
|
|
| 10. |
|
Extensions of Logic Programming
Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 1996.
|
|
|
|
