Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and logic colloquium, Kiel 1974 / edited by J. Diller, G. H. Muller
| ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and logic colloquium, Kiel 1974 / edited by J. Diller, G. H. Muller |
| Autore | International summer institute and logic colloquium : <1974 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1975 |
| Descrizione fisica | VIII, 383 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Teoria della dimostrazione - Congressi |
| ISBN | 3-540-07533-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Proof theory symposion Kiel 1974 |
| Record Nr. | UNIBAS-000014687 |
International summer institute and logic colloquium : <1974
|
||
| Berlin [etc.] : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983
| Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1984 |
| Descrizione fisica | 2 v. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Teoria della dimostrazione - Congressi |
| ISBN |
3-540-13900-1
3-540-13901-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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. |
| Record Nr. | UNIBAS-000014284 |
| Berlin [etc.] : Springer, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Symposium on Automatic Demonstration / edited by M. Laudet ... [et al.]
| Symposium on Automatic Demonstration / edited by M. Laudet ... [et al.] |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1970 |
| Descrizione fisica | 310 p. ; 26 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Teoria della dimostrazione - Congressi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
eng
fre |
| Record Nr. | UNIBAS-000014889 |
| Berlin [etc.] : Springer, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
