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

Andreas Blass

We need a photo of Andreas Blass

Born 1947

2 works Add another?

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

  • Cover of: Fields of logic and computation: essays dedicated to Yuri Gurevich on the occasion of his 70th birthday

    First published in 2010 — 1 edition
    Not in Library

    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: Freyd's models for the independence of the axiom of choice

    First published in 1989 — 1 edition
    Not in Library

    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 Andreas Blass

Born 1947

Subjects

Abstrakte Zustandsmaschine, Automatentheorie, Axiom of choice, Berechenbarkeit, Computer networks, Computer science, Computer science, mathematics, Computer software, Forcing (Model theory), Formal methods (Computer science), Formale Methode, Information theory, Komplexitätstheorie, Logic design, Mathematics, Mathematische Logik, Programmverifikation, Software engineering, Softwarespezifikation, Symbolic and mathematical Logic, Theoretische Informatik, Toposes

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL1003218A

Links outside Open Library

No links yet. Add one?

History

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