Pages that link to "Item:Q5109446"
From MaRDI portal
The following pages link to Proceedings Sixth International Workshop on Classical Logic and Computation (Q5109446):
Displaying 2 items.
- Programs, proofs, processes. 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30--July 4, 2010. Proceedings (Q980848) (← links)
- Non-classical logics, model theory, and computability. Proceedings of the 3rd Latin-American symposium on mathematical logic, Campinas, Brazil, July 11--17, 1976 (Q1234274) (← links)