10 found
Order:
  1.  17
    On Some σ‐Algebras Containing the Projective Sets I.C. A. di Prisco & Wiktor Marek - 1982 - Mathematical Logic Quarterly 28 (33‐38):525-538.
  2.  28
    On Some σ-Algebras Containing the Projective Sets I.C. A. di Prisco & Wiktor Marek - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):525-538.
  3.  3
    Elementy logiki i teorii mnogości w zadaniach.Wiktor Marek - 1972 - Warszawa: Państwowe Wydawn. Naukowe. Edited by Janusz Onyszkiewicz.
  4.  14
    J. R. Shilleto. Minimum models of analysis. The journal of symbolic logic, vol. 37 , pp. 48–54.Wiktor Marek - 1974 - Journal of Symbolic Logic 39 (3):601.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  4
    Logic Programming and Non-monotonic Reasoning: Proceedings of the First International Workshop.Wiktor Marek, Anil Nerode, V. S. Subrahmanian & Association for Logic Programming - 1991 - MIT Press (MA).
    The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human reasoning. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  7
    Andrzej Mostowski and foundational studies.Andrzej Mostowski, Andrzej Ehrenfeucht, Wiktor Marek & Marian Srebrny (eds.) - 2008 - Amsterdam: IOS Press.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  32
    In memory of Andrzej Mostowski.Helena Rasiowa & Wiktor Marek - 1977 - Studia Logica 36 (1-2):1 - 8.
  8.  12
    E. J. Neuhold. Formal properties of data bases. Foundations of computer science, edited by J. W. de Bakker, Mathematical Centre Tracts 63, Mathematisch Centrum, Amsterdam1975, pp. 119–177. [REVIEW]Wiktor Marek - 1977 - Journal of Symbolic Logic 42 (3):421-422.
  9.  6
    Review: E. J. Neuhold, Formal Properties of Data Base. [REVIEW]Wiktor Marek - 1977 - Journal of Symbolic Logic 42 (3):421-422.
  10.  8
    Review: J. R. Shilleto, Minimum Models of Analysis. [REVIEW]Wiktor Marek - 1974 - Journal of Symbolic Logic 39 (3):601-601.