Peter Schroeder-Heister

ספרים שבהם Peter Schroeder-Heister מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Advances in Proof-Theoretic SemanticsThomas Piecha

Advances in Proof-Theoretic Semantics

Thomas Piecha · 2014

Proof theory in computer scienceReinhard Kahle

Proof theory in computer science

Reinhard Kahle · 2001

Logical Writings of Karl PopperDavid Binder

Logical Writings of Karl Popper

David Binder · 2022

Extensions of Logic ProgrammingLars-Henrik Eriksson

Extensions of Logic Programming

Lars-Henrik Eriksson · 2014