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

Jörg Flum

We need a photo of Jörg Flum

6 works Add another?

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

  • Cover of: Finite Model Theory (Perspectives in Mathematical Logic)

    Cover of edition finitemodeltheor00ebbi_644 First published in 1995 — 5 editions
    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: Logic and automata: history and perspectives

    First published in 2007 — 3 editions
    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: Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings (Lecture Notes in Computer Science)

    First published in 1999 — 2 editions
    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: Topological Model Theory

    First published in 1980 — 2 editions
    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: Einführung in die mathematische Logik

    First published in 2018 — 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: Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)

    First published in 2006 — 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
We need a photo of Jörg Flum

Subjects

Symbolic and mathematical Logic, Computer science, Mathematical Logic and Foundations, Mathematics, Algorithm Analysis and Problem Complexity, Computational complexity, Computer software, Logic, symbolic and mathematical, Mathematical Logic and Formal Languages, Algorithms, Classe complexité, Computation by Abstract Devices, Computer logic, Congresses, Information theory, Isomorphisme, Logic, Logica, Logique 1er ordre, Machine theory, Mathematical logic, Mathematics / Logic, Model theory, Modèles, théorie des, Philosophy Of Mathematics

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL3146521A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 30, 2008 Created by an anonymous user initial import