Publication
-
January 1972
-
Infinistic rules of proof and their semantics Article
Bulletin de l'Académie Polonaise des Sciences, 879-886.January 1972 -
Non-finite axiomatizability of the second order arithmetic Article
Bulletin de l'Académie Polonaise des Sciences, 347-348.January 1972 -
Omega-models in analytical hierarchy Article
Bulletin de l'Académie Polonaise des Sciences, 901-904.January 1972 -
Inleiding In Proceedings
January 1972 -
Lineaire meerstapsmethoden In Proceedings
January 1972 -
January 1972
-
On the theory of the generation of stable inhomogeneous states in homogeneous mixtures Article
Analysis and simulation of biochemical systems, 19-37.January 1972