It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
September 7, 2008 | History
Edit

Wiktor Marek

We need a photo of Wiktor Marek

10 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Logic Programming and Non-Monotonic Reasoning: Proceedings of the First International Workshop

    First published in 1991 — 2 editions
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Elements of logic and foundations of mathematics in problems

    First published in 1982 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Elementy logiki i teorii mnogości w zadaniach

    First published in 1975 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Nonmonotonic logic: context-dependent reasoning

    First published in 1993 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Elements of Logic and Foundations of Mathematics in Problems

    First published in 1899 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: On the metamathematics of impredicative set theory

    First published in 1973 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Mathematical foundations of information storage and retrieval

    First published in 1973 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A decomposition of informational systems

    First published in 1975 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski: Bierutowice, Poland 1975

    First published in 1976 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Spectrum of L

    First published in 1983 — 1 edition
    Borrow Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Wiktor Marek

Subjects

Set theory, Logic, symbolic and mathematical, Reasoning, Symbolic and mathematical Logic, Artificial intelligence, Congre s., Congresses, Constructibility (Set theory), Ensembles, Théorie des, Kongress, Logic programming, Logique symbolique et mathématique, Logisch programmeren, Logische Programmierung, Mathematics, Mathematics, general, Mathematische Logik, Mengenlehre, Metamathematics, Model theory, Nichtmonotones Schlie©en, Nonmonotonic reasoning, Optoelectronics, Parallel programming (computer science), Programmation logique

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL1383468A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
September 7, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import