Home  - Scientists - Mostowski Andrzej

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

1-20 of 91    1  | 2  | 3  | 4  | 5  | Next 20

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Mostowski Andrzej:     more books (27)

Andrzej Mostowski and Foundational Studies (Stand Alone) by A. Ehrenfeucht, V.W. Marek, et all 2007-10-15 Set theory and hierarchy theory: A memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : [proceedings] (Lecture notes in mathematics ; 537) by et al. (editors) W. Marke, 1976 Undecidable Theories: Studies in Logic and the Foundation of Mathematics (Dover Books on Mathematics) by Alfred Tarski, Andrzej Mostowski, et all 2010-08-19 Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel by Andrzej Mostowski, 1982-10-21 Constructible sets with applications (Studies in logic and the foundations of mathematics) by Andrzej Mostowski, 1969 Set Theory and Hierarchy Theory: A Memorial Tribute to Andrzej Mostowski. Bierutowice, Poland, 1975 (Lecture Notes in Mathematics) (English and German Edition) Thiry Years of Foundational Studies Lectures on the Development of Mathematical Logic and the Study of the Foundations of Mathematics in 1930- 1964 by Andrzej Mostowski, 1966 Thirty years of foundational studies: Lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964 (Acta philosophica Fennica ;fasc.17) by Andrzej Mostowski, 1966 Sentences Undecidable in Formalized Arithmetic : An exposition of the Theory of Kurt Gödel by Andrzej Mostowski, 1952 The present state of investigations on the foundations of mathematics (Rozprawy matematyczny) by Andrzej Mostowski, 1955 Studies in Logic and the Foundations of Mathematics; Undecidable Theories by Alfred; Mostowski, Andrzej and Raphael M. Robinson Tarski, 1953 Thirty Years of Foundational Studies: Lectures on the Development of M by Andrzej Mostowski, 1966 Rozprawy Matematyczne by Andrzej Mostowski, 1955-01-01 Studies in Logic and the Foundations of Mathematics; Sentences Undecidable in Formalized Arithmetic (An Exposition of the Theory of Kurt Godel) by Andrzej Mostowski, 1957

lists with details

1. Mostowski
   Andrzej Mostowski. Born 1 Nov 1913 in Lvov, Poland (now Ukraine) Died 22 Aug 1975in Vancouver, Canada. Andrzej Mostowski entered Warsaw University in 1931.  
   http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Mostowski.html
   
   Extractions: Andrzej Mostowski entered Warsaw University in 1931. He was influenced by Kuratowski , Lindenbaum and Tarski . His Ph.D. came in 1939, officially directed by Kuratowski but in practice directed by Tarski who was a young lecturer at that time. His studies at Warsaw had been broken by studies in Vienna (he attended a course by ) and Zurich (courses by Polya Weyl and Bernays He became an accountant after the Nazi invasion of Poland but continued working in the 'Underground Warsaw University'. After the uprising of 1944 the Nazis tried to put him in a concentration camp. With the help of some Polish nurses he escaped to a hospital, choosing to take bread with him rather than his notebook containing his research. some of the research he reconstructed after the War but much was lost. This work was largely on recursion theory and undecidability. From 1946 until his death he worked at the University of Warsaw. Much of work during that time was on first order logic and

2. DBLP: Andrzej Mostowski
   Andrzej Mostowski. List of publications from the DBLP Bibliography Server FAQ 1972.8, Andrzej Mostowski A Transfinite Sequence of omega-Models. J. Symb. Log.  
   http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Mostowski:Andrzej.ht
   
   Extractions: List of publications from the DBLP Bibliography Server FAQ Coauthor Index - Ask others: ACM DL ACM Guide CiteSeer CSB ... Google Andrzej Mostowski: A Transfinite Sequence of omega-Models. J. Symb. Log. 37 Andrzej Mostowski, Andrzej Blikle : Meeting of the Association for Symbolic Logic Warsaw 1968. J. Symb. Log. 34 A. Grzegorczyk , Andrzej Mostowski, C. Ryll-Nardzewski : The Classical and the omega-Complete Arithmetic. J. Symb. Log. 23 Andrzej Mostowski: On Direct Products of Theories. J. Symb. Log. 17 Andrzej Mostowski: On the Rules of Proof in the Pure Functional Calculus of the First Order. J. Symb. Log. 16 Andrzej Mostowski: Proofs of Non-Deducibility in Intuitionistic Functional Calculus. J. Symb. Log. 13 Andrzej Mostowski: On Absolute Properties of Relations. J. Symb. Log. 12 Andrzej Mostowski: Bemerkungen zum Begriff der Inhaltlichen Widerspruchsfreiheit. J. Symb. Log. 4 Andrzej Blikle A. Grzegorczyk C. Ryll-Nardzewski DBLP: [ Home Author Title Conferences ... Michael Ley (ley@uni-trier.de) Fri May 28 13:12:35 2004

3. TYTUL
   ELEMENTY ALGEBRY WYZSZEJ; ; mostowski andrzej, Stark Marceli; Warszawa, 1970;PWN; 1; 397,nlb.3; -; matematyka, fizyka, matematyka, algebra. algol 1204.  
   http://www.ies.krakow.pl/zbiory/bib2a.htm
   
   Extractions: ABSOLUTKOLORIMETRISCHE METALLANALYSEN MIT DEM PULFRICH-PHOTOMETR; -; -; Jena, 1950; Carl Zeiss; 1; 122,tab.1,nlb.2; -; metody fizykochemiczne, absorpcjometria, kolorymetria ACCESS. BAZA DANYCH; Projektowanie i programowanie; Roman Steven; Beijing, Cambridge, Farnham, Koln, Paris, Sebastopol, Taipei, Tokyo, 2001; Helion, O'Reilly; -; 380; 83-7197-479-5; matematyka, fizyka, informatyka, access, bazy danych ACCESS 97 - BIBLIA; -; Prague Cary N., Irwin Michael R.; Warszawa, 1998; Read Me; 1; XXXIV, 1047; 83-87216-17-8; informatyka, access 97, oprogramowanie ADHESION AND ADHESIVES. VOL.2 APPLICATIONS; -; Houwink R., Salomon G.; Amsterdam, 1967; Elsevier; 2; XIV,590; -; chemia, analiza techniczna, chemia, adhezja, fizyka VIOLENCE AMONG THE MENTALLY ILL; Effective treatments and Management Strategies; Hodgins Sheilagh; Dordrecht, Boston, London, 2000; Kluwer Academic Publishers, NATO Scientific Affairs Division; -; XIV, 416; 0-7923-6438-4; psychologia, psychiatria, zaburzenia, agresja AGRESJA I PRZEMOC WE WSPÓ£CZESNYM ¦WIECIE. TOM I. AGRESJA I PRZEMOC W¦RÓD DZIECI I M£ODZIE¯Y ORAZ W INSTYTUCJACHSPO£ECZNO-OPIEKUÑCZYCH; -; Ku¼ma Józef, Szarota Zofia; Kraków, 1998; Oficyna Wydawnicza TexT - Wy¿sza Szko³a Pedagogiczna im. Komisji Edukacji Narodowej w Krakowie; -; 333; 83-86050-50-0; psychologia, psychologia s±dowa, agresja, resocjalizacja

4. Andrzej Mostowski
   Andrzej Mostowski.  
   http://www.jesmanowicz.com/leon/car/car.php?name=Andrzej Mostowski&nr=73

5. NSync A Mei A Tribe Called Quest A*Teens A-axis A-bomb A-frame A
   Andromede Andron Androphonos Andros Androscoggin Androw Andrsy Andrus Andryc AndrzejEhrenfeucht Andrzej Lingas Andrzej mostowski andrzej Pelc Andrzej Wajda  
   http://www.norvig.com/npdict.txt

6. Lviv - Lvov - Lwow - Lemberg. Notable People - Biographies, Links, Photos.
   People who were born in Lvov Lviv Lwow Lemberg or whose activities were closely related to this city. Richard von Mises andrzej mostowski Muni, Paul (WEISENFREUND)R Karl Radek (Bernhardovich)  
   http://www.lvov.us/famous-people
   
   Extractions: My hometown has given rise to many more well-known people, notable in literature, arts, sciences, philosophy and so on than would be expected for a city of such modest size and population. Many of those people are 'famous everywhere but there city hometown'. The names below comprise a list of people who were born in or whose activities were closely related to this city. Any list of such people is certain to be incomplete, but let's try..Among those who have called this city home, are: A Muhammad Asad Emanuel Ax B Stefan Banach Yuri Bashmet Alexander Beliavsky Martin Buber C Viktor Chukarin D Albert Franz Doppler F Ivan Fedorov Ludwik Fleck Leo Fuchs(Laybl Springer) G Maurice Goldhaber H Zbigniew Herbert K Lubka Kolessa Oksana Krovytska Salomea Krushelnytska (Kruszelnicka) L Stanislaw Lem Volodymyr Levytsky Johann Lhotsky Lotka Alfred James ... Jan Lukasiewicz M Alexandra Marinina Alexius Meinong Ludwig von Mises Richard von Mises ... Muni, Paul (WEISENFREUND)

7. Mostowski
   Biography of andrzej mostowski (19131975) andrzej mostowski. Born 1 Nov 1913 in Lvov, Poland (now Ukraine) Main index. andrzej mostowski entered Warsaw University in 1931  
   http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Mostowski.html
   
   Extractions: Andrzej Mostowski entered Warsaw University in 1931. He was influenced by Kuratowski , Lindenbaum and Tarski . His Ph.D. came in 1939, officially directed by Kuratowski but in practice directed by Tarski who was a young lecturer at that time. His studies at Warsaw had been broken by studies in Vienna (he attended a course by ) and Zurich (courses by Polya Weyl and Bernays He became an accountant after the Nazi invasion of Poland but continued working in the 'Underground Warsaw University'. After the uprising of 1944 the Nazis tried to put him in a concentration camp. With the help of some Polish nurses he escaped to a hospital, choosing to take bread with him rather than his notebook containing his research. some of the research he reconstructed after the War but much was lost. This work was largely on recursion theory and undecidability. From 1946 until his death he worked at the University of Warsaw. Much of work during that time was on first order logic and

8. References For Mostowski
   References for andrzej mostowski. S Krajewski and M Srebrny, The life and activitiesof andrzej mostowski (Polish), Wiadomosci matematyczne 2 (1979), 5364.  
   http://www-gap.dcs.st-and.ac.uk/~history/References/Mostowski.html
   
   Extractions: Curriculum vitae of A Mostowski, Set theory and hierarchy theory, Lecture Notes in Math. (Berlin, 1976), 1-11. S Krajewski and M Srebrny, The life and activities of Andrzej Mostowski (Polish), Wiadomosci matematyczne J Los, Andrzej Mostowski (Polish), Wiadomosci matematyczne W Marek, Bibliography of Andrzej Mostowski's works, Studia Logica H Rasiowa, A tribute to A Mostowski, Logic Colloquium 76, Studies in Logic and Found. Math. (Amsterdam, 1977), 139-144. H Rasiowa, In memory of Andrzej Mostowski, Studia Logica Main index Birthplace Maps Biographies Index

9. Mostowski's Fundamental Operations --- Part II
   mostowski's Fundamental Operations Part II. Grzegorz Bancerek. Warsaw University, Bialystok. andrzej Kondracki. Warsaw University. Summary. The article consists of two parts.  
   http://www.mizar.org/JFM/Vol3/zf_fund2.html
   
   Extractions: Association of Mizar Users The terminology and notation used in this paper have been introduced in the following articles [ Contents (PDF format) 1] Grzegorz Bancerek. Cardinal numbers Journal of Formalized Mathematics 2] Grzegorz Bancerek. A model of ZF set theory language Journal of Formalized Mathematics 3] Grzegorz Bancerek. Models and satisfiability Journal of Formalized Mathematics 4] Grzegorz Bancerek. The ordinal numbers Journal of Formalized Mathematics 5] Grzegorz Bancerek. Sequences of ordinal numbers Journal of Formalized Mathematics 6] Grzegorz Bancerek. Increasing and continuous ordinal sequences Journal of Formalized Mathematics 7] Grzegorz Bancerek. The reflection theorem Journal of Formalized Mathematics 8] Grzegorz Bancerek. Replacing of variables in formulas of ZF theory Journal of Formalized Mathematics 9] Czeslaw Bylinski.

10. Andrzej Mostowski
    Translate this page andrzej mostowski (1913 - 1975). Der polnische Mathematiker und Logikerandrzej mostowski ist ein Vertreter der Lwow-Warschau-Schule.  
    http://www.philosophenlexikon.de/mostowsk.htm
    
    Extractions: Frauen in der Philosophie Diskussion PhilTalk Philosophieforen Andere Lexika PhilLex -Lexikon der Philosophie Lexikon der griechischen Mythologie PhiloThek Bibliothek der Klassiker Zeitschriftenlesesaal Nachschlagewerke Allgemeine Information ... Dokumentenlieferdienste Spiele Philosophisches Galgenraten PhilSearch.de Shops PhiloShop PhiloShirt Service Kontakt Impressum eMail Der polnische Mathematiker und Logiker Andrzej Mostowski ist ein Vertreter der Lwow-Warschau-Schule Er wirkte wie Borsuk, Von Mostowski stammen zahlreiche Resultate zur mathematischen Logik, zur Mengenlehre, zur Metamathematik und zur Modelltheorie. Definitionen Von ihm stammen auch einige interessante Arbeiten zur Verallgemeinerung von Quantoren. Nach ihm und Kleene ist eine Hierarchie der arithmetischen Mengen benannt. powered by Uwe Wiedemann

11. Philosophenlexikon.de
    mostowski, andrzej; Müller, Adam Heinrich; Müller, Johannes;Müller, Max; Müller, Max; Muth, Konrad; Mutianus Rufus, Conradus; Myia.  
    http://www.philosophenlexikon.de/index-mm.htm
    
    Extractions: Frauen in der Philosophie Diskussion PhilTalk Philosophieforen Andere Lexika PhilLex -Lexikon der Philosophie Lexikon der griechischen Mythologie PhiloThek Bibliothek der Klassiker Zeitschriftenlesesaal Nachschlagewerke Allgemeine Information ... Dokumentenlieferdienste Spiele Philosophisches Galgenraten PhilSearch.de Shops PhiloShop PhiloShirt Service Kontakt Impressum eMail [a] [b] [c] [d] ... [z] M powered by Uwe Wiedemann

12. Mostowskis Fundamental Operations Part II
    JOURNAL OF FORMALIZED MATHEMATICSVolume3, Released 1991 Published 2003Inst. of Computer Science, Univ. of Biaystokmostowskis Fundamental Operations Part IIGrzegorz BancerekWarsaw UniversityBiaystok fund1.html. 13 andrzej mostowski. Constructible Sets with Applications  
    http://www.mizar.org/JFM/pdf/zf_fund2.pdf

13. Andrzej Mostowski
    name university year home submit about help andrzej mostowski. Doctoratefrom Warszaw University in 1938 Adviser Alfred Tarski Students  
    http://sigact.acm.org/cgi-bin/genealogy.cgi?file=database-M.html&from=Mostowski,

14. Collected Works
    NO QA9 M7554. AUTHOR mostowski, andrzej. MAIN TITLE Foundational studies selected xixix. Subject mostowski, andrzej Bibliography. Subject Logic, Symbolic and mathematical  
    http://lib.nmsu.edu/subject/math/mbib.html

15. DBLP: Andrzej Wlodzimierz Mostowski
    dblp.unitrier.de andrzej Wlodzimierz mostowski. 6, andrzej Wlodzimierz mostowskiHierarchies of Weak Automata and Weak Monadic Formulas. Theor. Comput. Sci.  
    http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Mostowski:Andrzej_Wl
    
    Extractions: List of publications from the DBLP Bibliography Server FAQ Coauthor Index - Ask others: ACM DL ACM Guide CiteSeer CSB ... Robert Fidytek , Andrzej Wlodzimierz Mostowski, Rafal Somla Andrzej Szepietowski : Algorithms counting monotone Boolean functions. Inf. Process. Lett. 79 Andrzej Wlodzimierz Mostowski: Hierarchies of Weak Automata and Weak Monadic Formulas. Theor. Comput. Sci. 83 Andrzej Wlodzimierz Mostowski: Alternating Automata with Start Formulas. Inf. Process. Lett. 35 Andrzej Wlodzimierz Mostowski: Hierarchies of Weak Monadic Formulas for Two Successors Arithmetic. Elektronische Informationsverarbeitung und Kybernetik 23 Andrzej Wlodzimierz Mostowski: Determinancy of Sinking Automata on Infinite Trees and Inequalities Between Various Rabin's Pair Indices. Inf. Process. Lett. 15 Andrzej Wlodzimierz Mostowski: The Complexity of Automata and Subtheories of Monadic Second Order Arithmetics. FCT 1981 Andrzej Wlodzimierz Mostowski: Operations on omega-Regular Languages. FCT 1977 Robert Fidytek Rafal Somla Andrzej Szepietowski DBLP: [ Home Author Title Conferences ... Michael Ley (ley@uni-trier.de) Fri May 28 13:12:35 2004

16. Auteur - Mostowski, Andrzej
    Translate this page Auteur mostowski, andrzej, 4 documents trouvés. Ajouter au vol. 1 et2 mostowski, andrzej (Principal) North-Holland Publishing Co. Studies  
    http://bibli.cirm.univ-mrs.fr/Auteur.htm?numrec=061919779919150

17. Descripteur - 03D20
    Translate this page Ouvrage Sentences undecidable in formalized arithmetic an exposition of the theoryof Kurt Gödel mostowski, andrzej (Principal) North-Holland Publishing  
    http://bibli.cirm.univ-mrs.fr/Thesaurus.htm&numrec=051910368919210

18. Auteur - Mostowski, Andrzej
    Translate this page VIDEO. Auteur. mostowski, andrzej mostowski, A. mostowski, Andrej, Livre. mostowski,andrzej AMSTERDAM NORTH-HOLLAND PUBLISHING COMPANY , 1964, p. 117.  
    http://www.math.univ-rennes1.fr/bibli/catalogue/Auteur.htm?numrec=06199754691793

19. Descripteur - 03E45
    mostowski,andrzej AMSTERDAM NORTH-HOLLAND PUBLISHING COMPANY , 1969, IX-269.  
    http://www.math.univ-rennes1.fr/bibli/catalogue/Thesaurus.htm&numrec=05191092491

20. AIM Reprint Library:
    AIM Reprint LibraryResults of your search Moscovici, H. Moser L. Moser, L. Moser, Leo Mosher, Robert E. Mossel, Elchanan Mosteller,Frederick Mostow, GD mostowski, A. mostowski, andrzej Moszkowski, P  
    http://www.aimath.org/library/library.cgi?database=reprints;mode=display;BrowseT

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

1-20 of 91    1  | 2  | 3  | 4  | 5  | Next 20