MAT.BIB
@BOOK{aho-ulman,
author={A. Aho and J. Ullman},
title={The Theory of Parsing, Translation and Computing},
publisher={Prentice-Hall},
address={Englewood Cliffs, N.J},
year=1972,
}
@INCOLLECTION{indakcel,
author={Peter Aczel},
title={Quantifiers, games and inductive definitions},
booktitle={Proceedings of third Scandinavian Logic Symposium},
editor={S. Kanger},
address={Amsterdam},
publisher={North-Holland},
year=1975,
pages={1--14},
}
@BOOK{akcel,
author={Peter Aczel},
title={Non Well-Founded Sets},
address={Stanford},
publisher={CSLI},
year=1988,
koordinat={S. Radev},
}
@BOOK{aladyev,
author={Viktor Aladyev},
title={Homogeneous Structures},
address={Kiiv},
publisher={Technika},
year=1990,
koordinat={S. Radev},
abstract={cellular automata in different forms and theorems},
note={(in russian)},
}
@BOOK{alfierowa,
author={Z. Alfierowa},
title={Teoria algorytm\'{o}w},
publisher={PWE},
address={Warszawa},
year=1977,
}
@INCOLLECTION{barend-hand,
author={H. Barendregt},
title={Functional Programming and Lambda Calculus},
crossref={hand-tcs},
page={321--363},
}
@BOOK{barend-lamb,
author={H. Barendregt},
title={The Lambda Calculus: Its Syntax and Semantics},
address={Amsterdam},
publisher={North Holland},
year=1984,
koordinat={S. Radev in russian},
}
@BOOK{sit,
author={J. Barwise and J. Perry},
title={Situations and Attitudes},
address={Cambridge, Mass.},
publisher={MIT Press},
year=1983,
koordinat={G. Gargov},
}
@BOOK{barw,
author={J. Barwise and J. Etchmendy},
title={The Liar: An Essay on Truth and Circular Proposition},
address={Oxford},
publisher={Oxford University Press},
year=1987,
koordinat={G. Gargov},
}
@INCOLLECTION{cont-free,
author={J. Berstel and L. Boasson},
title={Context-Free Languages},
crossref={hand-tcs},
page={61--102},
}
@BOOK{algebra-bm,
author={G. Birkhoff and S. MacLane},
title={Algebra},
publisher={Macmilllan},
address={New York},
year=1965,
}
@ARTICLE{blik1,
author={Andrzej Blikle},
title={Three Valued Predicates for Software Specification and Validation},
journal={Fundamenta˙Informaticae},
year=1991,
volume=14,
number=4,
pages={387--410},
month=apr,
}
@BOOK{iter-theor,
author={S. Bloom and Z. \'{E}sik},
title={Iteration Theories},
publisher={Springer-Verlag},
address={Berlin},
year=1991,
koordinat={PB 122934},
}
@BOOK{book-otto,
author={R. Book and F. Otto},
title={String-Rewriting Systems},
publisher={Springer-Verlag},
address={Berlin},
year=1993,
koordinat={PB 123008},
}
@INCOLLECTION{geom-rev,
author={Luciano Boi},
title={The "revolution" in the geometrical vision of space in the ninteenth century, and the hermeneutical epistemology of mathematics},
pages={183--208},
crossref={gillies},
abstract={thoughts and knowledge in mathematics},
}
@INCOLLECTION{breger,
author={Herbert Breger},
title={A restoration that failed: Paul Finsler's theory of sets},
pages={249--264},
crossref={gillies},
abstract={natural set theory},
}
@BOOK{math-edu,
author={Tony Brown},
title={Mathematics Education and Language},
publisher={Kluwer},
address={Dordrecht},
year=1997,
koordinat={MiMUW 38635},
}
@BOOK{bubnicki,
author={Zdzys\l{}aw Bubnicki},
title={Wst\c{e}p do system\'{o}w ekspertowych},
publisher={PWN},
address={Warszawa},
year=1990,
koordinat={PB II 110517},
}
@BOOK{part-alg,
author={Peter Burmeister},
title={A Model Theoretic Approach to Partial Algebras},
publisher={Akademie Verlag},
address={Berlin},
year=1986,
koordinat={L. Rudak},
}
@BOOK{model-theor,
author={C. Chang and H. Keisler},
title={Model Theory},
publisher={North-Holland},
address={Amsterdam},
year=1973,
koordinat={S. Radev - in russian},
}
@BOOK{codd,
author={E. Codd},
title={Cellular automata},
publisher={Academic Press},
address={New York},
year=1968,
koordinat={??},
}
@BOOK{intr-algor,
author={T. Cormen and C. Leiserson and R. Rivest},
title={Introduction to Algorithms},
publisher={MIT Press},
address={Cambridge, Mass.},
year=1992,
koordinat={Radko},
}
@BOOK{intr-algor-pol,
author={T. Cormen and C. Leiserson and R. Rivest},
title={Wprowadzenie do algorythm\'{o}w},
publisher={PWN},
address={Warszawa},
year=1997,
koordinat={Skowron},
}
@BOOK{complex,
editor={G. Cowan and P. Pines and D. Meltzer},
title={Complexity Metaphors, Models and Reality},
publisher={Addison-Wesley},
address={Reading Mass.},
year=1994,
koordinat={Skowron},
}
@BOOK{graph-gram,
editor={J. Cuny and H. Ehrig and G. Engels and G. Rosenberg},
title={Graph Grammars and their Application to Computer Science},
publisher={Springer-verlag},
address={Berlin},
year=1994,
koordinat={MiMUW 37961},
}
@INCOLLECTION{dershowitz,
author={Nachum Dershowitz},
title={A Taste of Rewrite Systems},
crossref={lauer},
pages={199--228},
abstract={not sure the crossref maybe han-tcs},
}
@INCOLLECTION{int-top,
author={E. K. van Douwen},
title={The Integers and Topology},
booktitle={Handbook of Set Theoretic Topology},
editor={K. Kunen and J. E. Vaughan},
publisher={North-Holland},
address={Amsterdam},
year=1984,
pages={111--167},
}
@INCOLLECTION{drag,
author={A. Dragalin},
title={Correctness of Inconsistent Theories with Notions of Feasibility},
booktitle={Computation Theory},
editor={Andrzej Skowron},
series={LNCS},
volume=208,
publisher={Springer-Verlag},
address={Berlin},
year=1984,
page={58--79},
}
@INCOLLECTION{drag1,
author={A. Dragalin},
title={Correctness of Inconsistent Theories with Notions of Feasibility},
crossref={skow},
page={58--79},
}
@ARTICLE{drag2,
author={A. Dragalin},
title={On foundations of mathematics: Some modern problems and achievements},
journal={BSL},
year=1998,
koordinat={S. Radev},
}
@PROCEEDINGS{alg-alg,
editor={A. P. Ershow and D. Knuth},
title={Algorithms in Modern Mathematics and Computer Science},
year=1981,
abstract={Urgench, LNCS 122},
publisher={Springer-Verlag},
address={Berlin}
}
@ARTICLE{docum-retr,
author={D. Everett and S. Cater},
title={Topology of Document Retrieval Systems},
journal={Journal of the American Society for Information Science},
year=1992,
volume=43,
number=10,
pages={658--673},
koordinat={S. Radev},
}
@INCOLLECTION{dedinf,
author={M. Freund and D. Lehnmann},
title={Deductive Inference Operations},
booktitle={Logics in AI},
editor={Jan van Eijck},
publisher={Springer-Verlag},
address={Berlin},
year=1991,
pages={227--233},
}
@ARTICLE{gks,
author={A. Gajda and M. Krinicki and L. Szczerba},
title={A Note on Syntactical and Semantical Functions},
journal={Studia Logica},
year=1987,
number=2,
pages={177--185},
}
@ARTICLE{gg,
author={George Gargov},
title={New semantics for some many valued logics},
journal={The Journal of Non-Classical Logic},
year=1987,
volume=4,
pages={37--56},
}
@INCOLLECTION{gg1,
author={George Gargov},
title={On some Logics of Contradiction},
booktitle={Logical Consistency and Dialectical Inconsistency},
publisher={Center for Philosophy and Sociology, BAS},
year=1988,
editor={B. Dyankov},
pages={117--124},
address={Sofia},
}
@ARTICLE{gg-ndj,
author={George Gargov},
title={An Approach to Uncertainty via Sets of truth Values},
year=1995,
journal={Notre Dame Journal of Formal Logic},
volume=36,
pages={235--268},
abstract={continuation of the our investigations},
number=2,
koordinat={S. Radev}
}
@BOOK{mat-glance,
editor={W. Gellert and M. K\"{u}stner and M. Hellwich and H. K\"{a}stner},
title={Mathematics at a glance},
publisher={VEB},
address={Leipzig},
year=1975,
koordinat={S. Radev},
}
@BOOK{gillies,
editor={Donald Gillies},
title={Revolutions in Mathematics},
publisher={Clarendon Press},
address={Oxford},
year=1992,
koordinat={MiMUW 38630},
abstract={interesting collections about thinking},
}
@BOOK{goertzel,
author={Ben Goertzel},
title={The Structure of Intelligence. A new Mathematical Model of Mind},
publisher={Springer-Verlag},
address={New York},
year=1993,
koordinat={PB122977},
abstract={some thoughts about thinking},
}
@INCOLLECTION{intrinst,
author={J. Goguen and R. Burstall},
title={Introducing Institutions},
booktitle={Logics of Programs},
publisher={Springer-Verlag},
series={LNCS},
volume=164,
year=1984,
editor={E. Clark and D. Kozen},
pages={221--256},
}
@BOOK{univ-alg,
key={grat},
author={G. Gratzer},
title={Universal algebra},
publisher={Springer-Verlag},
address={New York},
year=1979,
}
@INCOLLECTION{math-ont,
author={Jeremy Gray},
title={The ninteenth-century revolution in mathematical ontology},
pages={226--248},
crossref={gillies},
abstract={a collection of thoughts},
}
@BOOK{tak-i-nie,
author={H Greniewski and K. K\l{}osi\'{n}ski and W. Leffewr and G. Smolan},
title={Tak i Nie, Sprzeczno\'{s}\'{c}, alternatywa i decyzja},
publisher={Ksi\c{a}\.{z}ka i Wiedza},
address={Warszawa},
year=1973,
}
@UNPUBLISHED{grue,
author={Klaus Grue},
title={Map Theory: A Lambda Calculus Based Foundation of Mathematics
with at Least the Same Strenght as {ZF} Set Theory},
year=1990,
note={(manuscript)},
}
@BOOK{metmat-ar,
author={P. H\'{a}jek and P. Pudl\'{a}k},
title={Metamathematics of First-Order Arithmetics},
publisher={Springer-Verlag},
address={Berlin},
year=1993,
koordinat={PB 122858},
}
@BOOK{harary,
author={F. Harary and E. M. Palmer},
title={Graphical Enumeration},
publisher={Academic Press},
year={1973},
}
@BOOK{algor,
author={David Harel},
title={Algorithmics. The Spirit of Computing},
publisher={Addison-Wesley},
address={Reading, Mass.},
year=1987,
}
@BOOK{algor-pol,
author={David Harel},
title={Rzecz o Istocie Informatyki, Algorytmika},
publisher={Wydawnictwa Naukowo-Techniczne},
address={Warszawa},
year=1992,
koordinat={PB 113596},
}
@BOOK{hilb-ber,
author={D. Hilbert and P. Bernays},
title={Grundlagen der Mathematik. I},
publisher={Springer-Verlag},
address={Berlin},
year=1968,
koordinat={S.Radev - in russian},
}
@BOOK{jaglom,
author={A. Jaglom and I. Jaglom},
title={Verojatnost i Informacija},
publisher={Nauka},
address={Moskva},
year=1973,
koordinat={S. Radev - in russian},
}
@BOOK{jech,
author={T. J. Jech},
title={Set Theory},
publisher={Academic Press},
year=1978,
}
@BOOK{kelley,
author={J. Kelley},
title={General topology},
publisher={Van-Nostrand},
address={Princeton},
year=1955,
koordinat={S. Radev - in russian},
abstract={with wonderful examples},
}
@BOOK{kleene,
author={Steven Kleene},
title={Introduction to Metamathematics},
publisher={North-Holland},
address={Amsterdam},
year=1952,
}
@BOOK{knut,
author={Donald Knuth},
title={The Art of Computer Programming},
volume=1,
publisher={Addison-Wesley},
address={Reading Mass.},
year=1968,
}
@BOOK{knut-circle,
author={Donald Knuth},
title={Axioms and Hulls},
publisher={Springer-Verlag},
address={Berlin},
year=1992,
koordinat={PB},
}
@BOOK{fin-aut,
author={N. Kobrinskii and B. Trakhtenbrot},
title={Introduction to the theory of finite automata},
publisher={North-Holland},
address={Dordreght},
year=1965,
koordinat={MiMUW 19325},
}
@ARTICLE{kolmogorov,
author={A. Kolmogorov},
title={Three approaches to the quantitative definition of information},
year=1965,
journal={Problems Inform. Transmission},
volume=1,
pages={1--7},
number=1,
koordinat={PB in the selected works},
abstract={introduces the complexity},
}	
@BOOK{hand-top,
title={Handbook of Set Theoretic Topology},
editor={K. Kunen and J. E. Vaughan},
publisher={North-Holland},
address={Amsterdam},
year=1984,
}
@BOOK{kurat-most,
author={K. Kuratowski and A. Mostowski},
title={Set Theory},
publisher={PWN},
address={Warszawa},
year=1967,
koordinat={S. Radev - in russian},
}
@BOOK{kurosz,
author={A. Kurosz},
title={Algebra og\'{o}lna},
address={Warszawa},
year=1965,
koordinat={S. Radev - in russian},
}
@BOOK{lauer,
editor={Peter Lauer},
title={Functional Programming, Concurrency, Simulation and Automated Reasoning},
publisher={Springer-Verlag},
address={Berlin},
year=1993,
series={LNCS},
number=693,
koordinat={PB 122949},
}
@BOOK{hand-tcs,
editor={Jan van Leeuwen},
title={Handbook of Theoretical Computer Science},
publisher={Elsevier},
address={Amsterdam},
year=1992,
koordinat={PB 118332},
}
@BOOK{hand-tcs-a,
editor={Jan van Leeuwen},
title={Handbook of Theoretical Computer Science A. Algorithms and complexity},
publisher={Elsevier},
address={Amsterdam},
year=1992,
koordinat={PB 118332},
}
@BOOK{hand-tcs-b,
editor={Jan van Leeuwen},
title={Handbook of Theoretical Computer Science B. Formal models and semantics},
publisher={Elsevier},
address={Amsterdam},
year=1990,
koordinat={PB 25224},
}
@BOOK{intr-kolm,
author={Ming Li and Paul Vit\'{a}nyi},
title={An Introduction to Kolmogorov Complexity and its Applications},
publisher={Springer-Verlag},
address={Berlin},
year=1993,
koordinat={PB 122978},
}
@BOOK{malcev,
author={A. Malcev},
title={Algoritmy i rekursivnye funkcje},
publisher={Nauka},
address={Moskva},
year=1965,
}
@BOOK{manin,
author={Jurij Manin},
title={Computable and Incomputable},
address={Moskwa},
publisher={Sovetskoe Radio},
year=1980,
note={(in russian)},
koordinat={S Radev},
}
@BOOK{manin-pol,
author={Jurij Manin},
title={Wjczyslimoe i niewjyczislimoe},
address={Moskwa},
publisher={Sovetskoe Radio},
year=1980,
koordinat={S. Radev},
}
@BOOK{martin-lof,
author={Per Martin-L\"{o}f},
title={Notes on Constructive Mathematics},
publisher={Almqvist{\&}Wiksell},
address={Stockholm},
year=1970,
}
@ARTICLE{mazurk,
author={Antoni Mazurkiewicz},
title={Compositional Semantics of Pure Place/Transition Systems},
journal={Fundamenta Informatic\ae},
series=4,
volume=11,
number=4,
year=1988,
pages={331--355},
}
@BOOK{mesarovic,
author={M. Mesarovic and Y. Takahara},
title={General System Theory: Mathematical Foundations},
publisher={Academic Press},
address={New York},
year=1975,
koordinat={S. Radev in russian},
}
@ARTICLE{miller-real,
author={A. W. Miller},
title={Mapping a Set of Reals onto the Reals},
journal={J. Symbolic Logic},
volume={48},
year={1983},
pages={575--584},
}
@INCOLLECTION{milner,
author={R. Milner},
title={Operational and Algebraic Semantics of Concurrent Processes},
crossref={hand-tcs},
page={1201--1242},
}
@BOOK{moschovakis,
author={Y. N. Moschovakis},
title={Descriptive Set Theory},
publisher={North-Holland},
address={Amsterdam},
year=1980,
}
@BOOK{mfcs-94,
editor={???},
title={Mathematical Foundations of Computer Science'94},
series={LNCS},
volume=841,
year=1994,
publisher={Springer-Verlag},
koordinat={MIM UW 37170},
}
@BOOK{techn-anal,
author={John Murphy},
title={Technical Analysis of the Futures Markets},
publisher={Prentice-Hall},
address={New York},
year=1986,
koordinat={Murza},
}
@BOOK{self-repr,
author={John von Neumann},
title={Theory of Self-Reproducing Automata},
editor={A. Burks},
publisher={University of Illinois Press},
address={Urbana},
year=1966,
koordinat={S. Radev - in russian},
}
@BOOK{adapt-dec,
author={John Payne and James Bettman and Eric Johnson},
title={The Adaptive Decision Maker},
publisher={Cambridge Univ. Press},
address={Cambridge},
year=1993,
koordinat={Skowron},
}
@INCOLLECTION{perrin,
author={D. Perrin},
crossref={hand-tcs},
title={Finite Automata},
page={3--57},
}
@BOOK{pol,
author={George Polya},
title={Mathematics and Plausible Reasoning},
address={Princeton},
publisher={Princeton Univ. Press},
year=1954,
}
@BOOK{pol-pl1,
author={George Polya},
title={Mathematical Discovery vol. I},
address={New York},
publisher={John Wiley},
year=1962,
koordinat={S Radev in russian},
}
@BOOK{pol-pl2,
author={George Polya},
title={Mathematical Discovery vol. II},
address={New York},
publisher={John Wiley},
year=1965,
koordinat={S Radev in russian},
}
@BOOK{think-mod,
author={D. Pospelov},
title={Thought Modelling},
publisher={Sovetskoe radio},
address={Moscow},
year=1989,
note={in russian},
abstract={see also hermeneutics},
}
@BOOK{post-all,
editor={Martin Davis},
title={Stability, Provability, Definability: The Collected Works of Emil L. Post},
publisher={Birkh\"{a}user},
address={Boston},
year=1994,
abstract={almost all papers},
koordinat={R. Marciszewski},
}
@BOOK{post-log,
author={Emil Post},
title={The Two-Valued Iterative Systems of Mathematical Logic},
publisher={Kraus Reprint Co.},
address={New York},
year=1965,
abstract={the m-valued logic of Post},
koordinat={R. Marciszewski - post-all},
}
@ARTICLE{post,
author={E. Post},
title={Finite combinatory processes --- formulation {I}.},
journal={J. Symbolic Logic},
volume=1,
number=1,
year=1936,
pages={103--105},
}
@INCOLLECTION{indprat,
author={Vaughan Pratt},
title={Action Logic and Pure Induction},
editor={Jan van Eijck},
booktitle={Logics in AI--{JELIA'90}},
address={Berlin},
publisher={Springer-Verlag},
year=1991,
pages={97--120},
}
@ARTICLE{behavstr,
author={A. Rabinovich  and B. Trakhtenbrot},
title={Behaviour structures and nets},
journal={Fundamenta Informatic\ae},
volume=11,
number=4,
year=1988,
pages={357--403},
}
@INCOLLECTION{ras,
author={Helena Rasiowa},
title={Many-valued algorithmic logic as a tool to investigate programs},
booktitle={Modern Uses of Multiple-Valued Logics},
publisher={D. Reidel Publishing Company},
address={Dordrecht-Holland},
editor={J. M. Dumn and G. Epstein},
year=1977,
pages={77--102},
}
@BOOK{ras-sik,
author={H. Rasiowa and R. Sikorski},
title={The Mathematics of Metamathematics},
publisher={PWN},
address={Warszawa},
year=1970,
koordinat={S. Radev in russian},
}
@ARTICLE{ras-agent,
author={Helena Rasiowa},
title={Mechanical proof systems for logic of reaching consesnsus by groups of intelligent agents},
koordinat={S.Radev},
}
@INCOLLECTION{appr-reas,
author={Helena Rasiowa},
title={Logic of approximation reasoning},
booktitle={Ist workshop on Computer Science Logic},
editor={E. Borger et al.},
year=1988,
series={LNCS},
volume=329,
page={188--210},
}
@BOOK{rogers,
author={Hartley Rogers},
title={Theory of Recursive Functions and Effective Computability},
publisher={McGraw-Hill},
address={New York},
year=1967,
}
@BOOK{sys-eng,
author={Andrew Sage},
title={Systems Engineering},
publisher={Wiley},
address={New York},
year=1992,
abstract={rationalities},
}
@INCOLLECTION{salom-tcs,
author={Arto Salomaa},
title={Formal Languages and Power Series},
crossref={hand-tcs},
page={103--132},
}
@BOOK{salom,
author={Arto Salomaa},
title={Computation and Automata},
publisher={Cambridge Univ. Press},
address={Cambridge},
year=1985,
koordinat={Radko Pavlov},
}
@BOOK{rel-i-graph,
author={G. Schmidt and T. Str\"{o}hlein},
title={Relations and Graphs},
publisher={Springer-Verlag},
address={Berlin},
year=1993,
koordinat={PB 122929},
}
@BOOK{shelach-forcing,
author={S. Shelah},
title={Proper Forcing},
series={Lecture Notes in Math.},
volume={940},
publisher={Springer-Verlag},
year={1982},
}
@BOOK{ralph-sims,
author={E. Ralph Sims},
title={Precision Manifacturing Costing},
publisher={Marcel Dekker Inc.},
address={New York},
year=1995,
abstract={the changing industrial society and eco systems},
}
@BOOK{skow,
editor={Andrzej Skowron},
title={Computation theory},
publisher={Springer-Verlag},
address={Berlin},
year=1985,
}
@BOOK{smullyan,
author={Raymond Smullyan},
title={Theory of Formal Systems},
publisher={Princeton University press},
address={Princeton, New Jersey},
year=1962,
koordinat={S. Radev - in russian},
}
@BOOK{neuron-pol,
author={Ryszard Tadeusiewicz},
title={Sieci Neuronowe},
publisher={Akademicka Oficyna Wydawnicza RM},
address={Warszawa},
year=1993,
koordinat={Skowron},
}
@BOOK{trappl,
editor={Robert Trappl},
title={Cybernetics and Systems},
publisher={Austr. Soc. Cyb. Studies},
address={Vienna},
year=1996,
koordinat={MiMUW 38412/1,2},
}
@ARTICLE{thue,
author={A. Thue},
title={Probleme \"{u}ber Ver\"{a}nderungen von Zeichenreihen nach gegebenen Regeln},
journal={Skr. utzit av. Vid. Kristiania},
year=1914,
volume=10,
}
@BOOK{turkov,
author={S. L. Turkov},
title={Priniatia resenii v sistemah upravlenia prirodnimi resursami: 
Voprosy metodologii i teorii},
publisher={Dalnauka},
address={Vladivostok},
year=1994,
koordinat={S. Radev - in russian},
}
@INCOLLECTION{usp,
author={V. Uspensky and A. Semenov},
title ={What are the gains of the theory of algorithms: basic developments
connected with the concept of algorithm and with its applications in mathematics},
booktitle={Algorithms in modern mathematics and computer science},
publisher={Springer-Verlag},
year=1991,
pages={123},
abstract ={The book Teoria algoritmov},
}
@BOOK{waerden,
author={B. van der Waerden},
title={Modern Algebra},
publisher={Frederick Ungar},
address={New York},
year=1953,
koordinat={S. Radev - in bulgarian},
}
@BOOK{wysz-inf,
author={Alicja Wakulicz-Deja},
title={Podstawy System\'{o}w Wyszukiwania Informacji},
publisher={PWN},
address={Warszawa-\L{}\'{o}d\.{z}},
year=1990,
koordinat={Murza},
}
@INCOLLECTION{haowang,
author={Hao Wang},
title={Process and existence in mathematics},
booktitle={Essays on the Foundations of Mathematics},
editor={I. Bar-Hillel},
address={Jerusalem}, 
publisher={Magnes Press},
year=1961,
pages={328--351},
}
@BOOK{wechler,
author={Wolfgang Wechler},
title={Universal Algebra for Computer Scientists},
publisher={Springer-Verlag},
address={Berlin},
year=1992,
koordinat={W. Bartol},
}
@ARTICLE{wray,
author={Dawid Wray},
title={Algebraic-Valued Quotational Logic},
journal={Communication{\&}Cognition},
year=1987,
volume=20,
number=4,
pages={403--422},
abstract={Otway},
}
@BOOK{math-bio,
title={An Introduction to the Mathematics of Biology: with Computer Algebra Models},
editor={E. Yeargers and R. Shonkwiler and J. Herod},
publisher={Birkh\"{a}user},
address={Boston},
year=1996,
koordinat={MiMUW 38347},
abstract={a good collection},
}
@BOOK{zhou,
title={Petri nets in Flexible and Agile Automation},
editor={MengChu Zhou},
publisher={Kluwer},
address={Boston},
year=1995,
}
@INPROCEEDINGS{zyt,
author={Jan \.{Z}ytkow},
title={Intertheory relations on the formal and semantical level},
booktitle={Formal Methods in the Methodology of Empirical Science},
editor={M. Prze{\l}\c{e}cki and K. Szaniawski and R. W\'{o}cicki and G. Malinowski},
publisher={Ossolineum},
address={Wroc{\l}aw},
year=1976,
pages={450--457},
}
@INPROCEEDINGS{zyt1,
author={Jan \.{Z}ytkow},
title={Feedback Between Knowledge and Method in Automated Discovery},
crossref={iis2},
page={282--298},
abstract={tree knowledge},
}
@INPROCEEDINGS{zytzemb1,
author={Jan \.{Z}ytkow and R. Zembowicz},
title={Theories that combine many equivalence and subset relations},
year=1994,
}