Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastian, Spain, July 9-15, 1996 |
- isbn : 978-1-316716-81-6
- pisbn : 978-1-107166-08-0
|
Fulltext
|
Logic Colloquium '98 |
|
Fulltext
|
Logic Colloquium '99 |
|
Fulltext
|
Logic Colloquium 2000 |
|
Fulltext
|
Logic Colloquium 2004 |
- isbn : 978-0-511721-15-1
- pisbn : 978-0-521884-24-2
|
Fulltext
|
Logic Colloquium 2005 |
- isbn : 978-0-511546-46-4
- pisbn : 978-0-521884-25-9
|
Fulltext
|
Logic Colloquium 2006 |
- isbn : 978-0-511605-32-1
- pisbn : 978-0-521110-81-5
|
Fulltext
|
Logic Colloquium 2007 |
- isbn : 978-0-511778-42-1
- pisbn : 978-0-521760-65-2
|
Fulltext
|
Logic in Tehran |
|
Fulltext
|
Logic Programming: Operational Semantics and Proof Theory |
- isbn : 978-0-511526-53-4
- pisbn : 978-0-521607-54-4
|
Fulltext
|