Foundational studies : selected works / Andrzej Mostowski ; editorial committee, Kazimierz Kuratowski ... [et al.] |
Autore | Mostowski, Andrzej |
Pubbl/distr/stampa | Amsterdam ; New York : North-Holland, 1979 - 2 v. ; 23 cm |
Disciplina | 511.3 |
Altri autori (Persone) | Kuratowski, Kazimierz |
Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X ; 93 |
Soggetto topico |
Collected works
Mostowski, Andrzej-bibliography Symbolic logic-collected works Symbolic logic - Congresses |
ISBN |
044485102X (v. 1)
0444851038 (v. 2) |
Classificazione |
AMS 03-XX
QA9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000904169707536 |
Mostowski, Andrzej | ||
Amsterdam ; New York : North-Holland, 1979 - 2 v. ; 23 cm | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] / edited by W. Marek, M. Srebrny, and A. Zarach |
Autore | Conference on set theory and hierarchy theory <1975 ; Bierutowice> |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1976 |
Descrizione fisica | xiii, 345 p. ; 25 cm |
Disciplina | 511.322 |
Altri autori (Persone) |
Marek, Wiktor
Srebrny, Marian Zarach, Andrzej |
Collana | Lecture notes in mathematics, 0075-8434 ; 537 |
Soggetto topico |
Model theory - Congresses
Mostowski, Andrzej-bibliography Recursive functions - Congresses Set theory - Congresses |
ISBN | 3540078568 |
Classificazione |
AMS 03-06
AMS 03E |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001339949707536 |
Conference on set theory and hierarchy theory <1975 ; Bierutowice> | ||
Berlin ; New York : Springer-Verlag, 1976 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|