|
Searching ... |
0 % | |||
Substructural Logics(1st Edition) (Studies in Logic and Computation) by Kosta Dosen, Peter Schroeder-Heister, Peter Schroder-Heister, Dosen Schroeder-Heister, Clarendon Press Hardcover, 400 Pages, Published 1994 by Clarendon Press ISBN-13: 978-0-19-853777-9, ISBN: 0-19-853777-8 |
Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies by Gerhard Heinzmann, Peter Schroeder-Heister, Wilfrid Hodges, College Publications Paperback, 562 Pages, Published 2015 by College Publications ISBN-13: 978-1-84890-169-8, ISBN: 1-84890-169-0 |
Extensions of Logic Programming 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister Paperback, 322 Pages, Published 2008 by Springer ISBN-13: 978-3-540-60983-4, ISBN: 3-540-60983-0 |
Advances in Proof-Theoretic Semantics by Thomas Piecha, Peter Schroeder-Heister Paperback, 292 Pages, Published 2017 by Springer ISBN-13: 978-3-319-36781-1, ISBN: 3-319-36781-1 |
Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science) by Reinhard Kahle, Peter Schroeder-Heister, Robert F. Stärk, Ptcs 200, Robert Stärk Paperback, 246 Pages, Published 2001 by Springer ISBN-13: 978-3-540-42752-0, ISBN: 3-540-42752-X |
Extensions of Logic Programming Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596) by Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister, Lars Hallnèas Paperback, 376 Pages, Published 1992 by Springer ISBN-13: 978-3-540-55498-1, ISBN: 3-540-55498-X |
Extensions of Logic Programming International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings (Lecture Notes in Computer Science) by Peter Schroeder-Heister Paperback, 366 Pages, Published 1991 by Springer ISBN-13: 978-3-540-53590-4, ISBN: 3-540-53590-X |
Advances in Proof-Theoretic Semantics(1st Edition) (Trends in Logic) by Thomas Piecha, Peter Schroeder-Heister Hardcover, 283 Pages, Published 2015 by Springer ISBN-13: 978-3-319-22685-9, ISBN: 3-319-22685-1 |
Extensions of Logic Programming by Lars-Henrik Eriksson, Lars Hallnas, Peter Schroeder-Heister 384 Pages, Published 2014 ISBN-13: 978-3-662-19760-8, ISBN: 3-662-19760-X |
Extensions of Logic Programming by Peter Schroeder-Heister Published 2014 ISBN-13: 978-3-662-20679-9, ISBN: 3-662-20679-X |
The Logical Writings of Karl Popper (Trends in Logic, 58) by Binder, David, Piecha, Thomas, Schroeder-Heister, Peter Hardcover, 576 Pages, Published 2022 by Springer ISBN-13: 978-3-030-94925-9, ISBN: 3-030-94925-7 |
Advances in Proof-Theoretic Semantics by Thomas Piecha, Peter Schroeder-Heister 245 Pages, Published 2016 by Springer ISBN-13: 978-3-319-22686-6, ISBN: 3-319-22686-X |
Logik in der Philosophie(1st Edition) by Spohn Wolfgang, Erik J. Olsson, Volker Fintelmann, Peter Schroeder-Heister Paperback, 395 Pages, Published 2005 by Synchron Import ISBN-13: 978-3-935025-66-9, ISBN: 3-935025-66-1 |
Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings by Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk 246 Pages, Published 2003 by Springer ISBN-13: 978-3-540-45504-2, ISBN: 3-540-45504-3 |
The Logical Writings of Karl Popper (Trends in Logic) by Binder, David / Piecha, Thomas / Schroeder-heister, Peter Softcover, Published 2022 by Springer Nature ISBN-13: 978-3-030-94928-0, ISBN: 3-030-94928-1 |
Peter Schroeder-Heister