Schroeder-Heister, Peter. - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author Schroeder-Heister, Peter.

Showing 1 - 10 of 60 results

Search Results

Cover image for Extensions of logic programming

Extensions of logic programming

1991
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.63.E97 1989	✔ Available

Cover image for Extensions of logic programming

Extensions of logic programming

1991
Format: Electronic

Location
Access Content Online

Cover image for Substructural logics

Substructural logics

1993
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76 .S858 1993	✔ Available

Cover image for The Logical Writings of Karl Popper

The Logical Writings of Karl Popper

by Binder, David
2022
1st ed. 2022
Format: Electronic

Location
Access Content Online

Cover image for Extensions of logic programming

Extensions of logic programming

by ELP '96
1996
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.63 .E47 1996	✔ Available

Cover image for Extensions of logic programming

Extensions of logic programming

by ELP '96
1996
Format: Electronic

Location
Access Content Online

Cover image for Advances in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics

by Piecha, Thomas
2016
1st ed. 2016
Format: Electronic

Location
Access Content Online

Cover image for Proof theory in computer science

Proof theory in computer science

by PTCS 2001
2001
Format: Electronic

Location
Access Content Online

Cover image for Proof theory in computer science

Proof theory in computer science

by PTCS 2001
2001
Format: Electronic

Location
Access Content Online

Cover image for Extensions of logic programming

Extensions of logic programming

1992
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.63.E98 1992	✔ Available