 | 2004 |
| 16 |  | Jan Mycielski:
On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge).
Ann. Pure Appl. Logic 126(1-3): 215-224 (2004) |
| 1997 |
| 15 |  | Jan Mycielski,
Grzegorz Rozenberg,
Arto Salomaa:
Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht
Springer 1997 |
| 1995 |
| 14 |  | Jan Mycielski:
New Set-Theoretic Axioms Derived from a Lean Metamathematics.
J. Symb. Log. 60(1): 191-198 (1995) |
| 1991 |
| 13 |  | Jan Mycielski,
Damian Niwinski:
Cellular automata on tress, a model for parallel computation.
Fundam. Inform. 15(2): 139-144 (1991) |
| 12 |  | Y. Faber,
Jan Mycielski:
Application of learning theorems.
Fundam. Inform. 15(2): 145-167 (1991) |
| 1986 |
| 11 |  | Andrzej Ehrenfeucht,
Jeff Kahn,
Roger D. Maddux,
Jan Mycielski:
Addendum to the paper "On the dependence of functions on their variables".
J. Comb. Theory, Ser. A 42(2): 317 (1986) |
| 10 |  | Jan Mycielski:
Locally Finite Theories.
J. Symb. Log. 51(1): 59-62 (1986) |
| 1984 |
| 9 |  | Carl G. Jockusch Jr.,
Richard Laver,
J. Donald Monk,
Jan Mycielski,
Jon Pearce:
Annual Meeting of the Association for Symbolic Logic: Denver, 1983.
J. Symb. Log. 49(2): 674-682 (1984) |
| 1983 |
| 8 |  | Amram Meir,
John W. Moon,
Jan Mycielski:
Hereditarily finite sets and identity trees.
J. Comb. Theory, Ser. B 35(2): 142-155 (1983) |
| 1982 |
| 7 |  | Andrzej Ehrenfeucht,
Jeff Kahn,
Roger D. Maddux,
Jan Mycielski:
On the Dependence of Functions on Their Variables.
J. Comb. Theory, Ser. A 33(1): 106-108 (1982) |
| 1981 |
| 6 |  | Jan Mycielski:
Analysis Without Actual Infinity.
J. Symb. Log. 46(3): 625-633 (1981) |
| 1979 |
| 5 |  | Andrzej Ehrenfeucht,
Jan Mycielski:
On k-Stable Functions.
J. Comb. Theory, Ser. A 27(3): 282-288 (1979) |
| 1977 |
| 4 |  | Jan Mycielski:
A Lattice of Interpretability Types of Theories.
J. Symb. Log. 42(2): 297-305 (1977) |
| 1974 |
| 3 |  | Andrzej Ehrenfeucht,
Jan Mycielski:
On Families of Intersecting Sets.
J. Comb. Theory, Ser. A 17(2): 259-260 (1974) |
| 1973 |
| 2 |  | J. Donald Monk,
Jan Mycielski,
Jurgen Schmidt:
Meeting of the Association for Symbolic Logic, Dallas 1973.
J. Symb. Log. 38(3): 541-549 (1973) |
| 1971 |
| 1 |  | Ralph McKenzie,
Jan Mycielski,
David Thompson:
On Boolean Functions and Connected Sets.
Mathematical Systems Theory 5(3): 259-270 (1971) |