Nowa, wielka monografia Rasiowej i Sikorskiego stanowi uwieńczenie ich badań dotyczących pogranicza logiki i teorii modeli, rozpoczętych w roku 1950 znaną pracą "A proof of the completeness theorem of Gödel" (Fundamenta Mathematicae 37). Pod względem doskonałości wykładu, przejrzystości i elegancji przewyższa książki o podstawach matematyki dostępne w języku polskim. Toteż mimo specjalności tematu i obcego języka książka jest używana do wykładów i chętnie czytana, nawet przez początkujących - nie zakłada u czytelnika żadnego specjalnego przygotowania matematycznego.
- Autor: Helena Rasiowa
- Kategoria: informatyka, matematyka
- Język: angielski
- ISBN: 9780800217129
- Data wydania: 1970-01-01
- Liczba stron: 519
- Ocena: 0,0
- Wydawnictwo: Wydawnictwo Naukowe PWN
