BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, shape your shelves, and share what is worth reading.

Books Lists Diary Stats Members Plans

© 2026 Cilt

Yükleniyor

Yazar

Andreas Blass

5 cilt bulundu.

Cilt sonuçları

Freyd's models for the independence of the axiom of choice

Freyd's models for the independence of the axiom of choice

Andreas Blass · American Mathematical Society

134 sayfa · 1989

Axiom of choice / Forcing (Model theory) / Toposes

Fields of logic and computation

Fields of logic and computation

Yuri Gurevich, Andreas Blass, Nachum Dershowitz, Wolfgang Reisig · Springer

626 sayfa · 2010

Softwarespezifikation / Komplexitätstheorie / Mathematische Logik / Symbolic and mathematical Logic / Berechenbarkeit

Fields of Logic and Computation II

Fields of Logic and Computation II

Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte · Springer London, Limited

329 sayfa · 2015

Logic

CiltFields of Logic and ComputationAndreas Blass, Nachum Dershowitz, Wolfgang Reisig

Fields of Logic and Computation

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig · Springer London, Limited

Sayfa sayısı yok · 2010

Kategori yok

CiltFields of Logic and Computation IIIAndreas Blass, Patrick Cégielski, Nachum Dershowitz, Prof. Manfred Droste, Bernd Finkbeiner

Fields of Logic and Computation III

Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Prof. Manfred Droste, Bernd Finkbeiner · Springer International Publishing AG

Sayfa sayısı yok · 2020

Kategori yok