dblp.uni-trier.dewww.uni-trier.de

Andrzej Mostowski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1972
8 Andrzej Mostowski: A Transfinite Sequence of omega-Models. J. Symb. Log. 37(1): 96-102 (1972)
1969
7 Andrzej Mostowski, Andrzej Blikle: Meeting of the Association for Symbolic Logic Warsaw 1968. J. Symb. Log. 34(3): 533-544 (1969)
1958
6 Andrzej Grzegorczyk, Andrzej Mostowski, Czeslaw Ryll-Nardzewski: The Classical and the omega-Complete Arithmetic. J. Symb. Log. 23(2): 188-206 (1958)
1952
5 Andrzej Mostowski: On Direct Products of Theories. J. Symb. Log. 17(1): 1-31 (1952)
1951
4 Andrzej Mostowski: On the Rules of Proof in the Pure Functional Calculus of the First Order. J. Symb. Log. 16(2): 107-111 (1951)
1948
3 Andrzej Mostowski: Proofs of Non-Deducibility in Intuitionistic Functional Calculus. J. Symb. Log. 13(4): 204-207 (1948)
1947
2 Andrzej Mostowski: On Absolute Properties of Relations. J. Symb. Log. 12(2): 33-42 (1947)
1939
1 Andrzej Mostowski: Bemerkungen zum Begriff der Inhaltlichen Widerspruchsfreiheit. J. Symb. Log. 4(3): 113-114 (1939)

Coauthor Index

1Andrzej Blikle [7]
2Andrzej Grzegorczyk [6]
3Czeslaw Ryll-Nardzewski [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)