Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Logic Colloquium' 96 | Jesús M. Larrazabal | This volume contains eleven contributions by invited speakers at the annual Logic Colloquium which was held in San Sebastian, Spain, in July 1996. They cover model theory, proof theory, recursion and… | OL19884506W |