|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIBAS000014284 |
|
|
Titolo |
Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983 |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin [etc.] : Springer, 1984 |
|
|
|
|
|
|
|
ISBN |
|
3-540-13900-1 |
3-540-13901-X |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Lecture notes in mathematics ; 1103, 1104 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Teoria della dimostrazione - Congressi |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Part 1.: Models and sets / edited by G. H. Muller and M. M. Richter. - VIII, 484 p. Part 2.: Computation and proof theory / edited by M. M. Richter ... [et al.]. - VIII, 475 p. |
|
|
|
|
|
|
|
| |