- 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_facet Mundici, Daniele

Showing 1 - 6 of 6 results

Search Results

Cover image for Logic: a Brief Course

Logic: a Brief Course

by Mundici, Daniele
2012
Format: Electronic

Location
Access Content Online

Cover image for Logica

Logica

by Mundici, Daniele
2011
Format: Electronic

Location
Access Content Online

Cover image for Algebraic and proof-theoretic aspects of non-classical logics

Algebraic and proof-theoretic aspects of non-classical logics

2007
Format: Electronic

Location
Access Content Online

Cover image for Computational logic and proof theory

Computational logic and proof theory

by Kurt Gödel Colloquium
1997
Format: Electronic

Location
Access Content Online

Cover image for Computational logic and proof theory

Computational logic and proof theory

by Kurt Gödel Colloquium
1997
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.A96 K87 1997	✔ Available

Cover image for Computational logic and proof theory

Computational logic and proof theory

by Kurt Gödel Colloquium
1993
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.A96 K87 1993	✔ Available