Wybrane rekordy: | Wybrany widok | | | Zapisz/wyślij | | | Utwórz podzestaw | | | Zapisz na serwerze | | | Filtr | ||||
Cały zestaw: | Zaznacz wszystko | | | Odznacz | | | Waga słów | | | Zawęź | | | Dodaj do Mojej e-półki | | |
nazw osobowych | Poprzedni | Barwiołek, Magdalena. |
Bieżący | Barwise, Jon (1942- ). | |
Następny | Barwise, Patrick. |
Rekordy 1 - 7 z 7 (maksymalna ilość wyświetlonych i sortowanych rekordów to 6000) | ||
|
||
![]() ![]() |
# | Autor | Tytuł | Rok wyd. | Lokalizacja [?] | Artykuł w: | Pełny tekst | |
---|---|---|---|---|---|---|---|
1 | Handbook of mathematical logic / ed. by Jon Barwise ; with the cooperation of H. J. Keisler [et al]. | 1977 | BIM( 1/ 0) |
||||
2 | Kleene Symposium (1978 ; Madison). | The Kleene symposium: proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / ed. by Jon Barwise, H. Jerome Keisler, Kenneth Kunen. | 1980 | BIM( 1/ 0) |
|||
3 | Barwise, Jon (1942- ).. | Situations and attitudes / Jon Barwise and John Perry. | 1984 | BHU( 1/ 0) |
|||
4 | Spravočnaâ kniga po matematičeskoj logike. Č. 4, Teoriâ dokazatel’stv i konstruktivnaâ matematika / pod red. Dž. Barvajsa ; per. s angl. G. V. Davydova, G. E. Minca ; pod red. V. P. Orevkov | 1983 | BG( 1/ 0) BIM( 4/ 0) |
||||
5 | Spravočnaâ kniga po matematičeskoj logike. Č. 3, Teoriâ rekursii / pod red. Dž. Barvajsa ; per. s angl. S. G. Dvornikova, I. A. Lavrova pod red. Û. L. Eršova. | 1982 | BG( 1/ 0) BIM( 3/ 0) |
||||
6 | Spravočnaâ kniga po matematičeskoj logike. Č. 2, Teoriâ množestv / pod red. Dž. Barvajsa ; per s angl. V. G. Kanoveâ pod red. V. N. Grišina. | 1982 | BG( 1/ 0) BIM( 3/ 0) |
||||
7 | Spravočnaâ kniga po matematičeskoj logike. Č. 1, Teoriâ modelej / pod. red. Dž. Barvajsa ; per. s angl. S. S. Gončarova [et al.] pod red. Û. L. Ersova, E. A. Palûtina, A. D. Tajmanova. | 1982 | BG( 1/ 0) BIM( 3/ 0) |
© 2009 Ex Libris