Accedi Lista desideri Carrello

Filtri

de

MAT018000

Libri e manuali in tedesco di Logic

Games and Full Abstraction for a Functional Metalanguage with Recursive Types di G. McCusker, Guy McCusker edito da Springer

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

di G. McCusker , Guy McCusker

Disponibile in 10-12 giorni

Handbook of Formal Languages: Volume 3. Beyond Words di G. Rozenberg edito da Springer

Handbook of Formal Languages: Volume 3. Beyond Words

di G. Rozenberg

Disponibile in 10-12 giorni

Die G Del Schen Unvollst Ndigkeitss di HOFFMANN DIRK W. edito da Springer

Die G Del Schen Unvollst Ndigkeitss

di HOFFMANN DIRK W.

Disponibile in 10-12 giorni

Karl Menger: Ergebnisse Eines Mathematischen Kolloquiums edito da Springer

Karl Menger: Ergebnisse Eines Mathematischen Kolloquiums

Disponibile in 10-12 giorni

The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal di W. Hugh Woodin edito da Walter de Gruyter

The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal

di W. Hugh Woodin

Walter de Gruyter

Disponibile in 10-12 giorni

First-order Logic di Raymond R. Smullyan edito da Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg

First-order Logic

di Raymond R. Smullyan

Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg

Fuori catalogo - Non ordinabile

Foundations Of Mathematics edito da Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg

Foundations Of Mathematics

Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg

Fuori catalogo - Non ordinabile

Einfuhrung In Die Operative Logik Und Mathematik di Paul Lorenzen edito da Springer Berlin Heidelberg

Einfuhrung In Die Operative Logik Und Mathematik

di Paul Lorenzen

Springer Berlin Heidelberg

Fuori catalogo - Non ordinabile

Aufz Hlbarkeit, Entscheidbarkeit, Berechenbarkeit: Einf Hrung in Die Theorie Der Rekursiven Funktionen di H. Hermes, Hans Hermes edito da Springer

Aufz Hlbarkeit, Entscheidbarkeit, Berechenbarkeit: Einf Hrung in Die Theorie Der Rekursiven Funktionen

di H. Hermes , Hans Hermes

Prodotto momentaneamente non disponibile

Grundzuge Der Theoretischen Logik di David Hilbert, Wilhelm Ackermann edito da Springer Berlin Heidelberg

Grundzuge Der Theoretischen Logik

di David Hilbert , Wilhelm Ackermann

Springer Berlin Heidelberg

Fuori catalogo - Non ordinabile

Personelle Und Statistische Wahrscheinlichkeit di Wolfgang Stegmuller edito da Springer Berlin Heidelberg

Personelle Und Statistische Wahrscheinlichkeit

di Wolfgang Stegmuller

Springer Berlin Heidelberg

Fuori catalogo - Non ordinabile

Personelle Und Statistische Wahrscheinl di STEGM LLER WOLFGAN edito da Springer

Personelle Und Statistische Wahrscheinl

di STEGM LLER WOLFGAN

Fuori catalogo - Non ordinabile

Proof Theory di K. Schutte edito da Springer Berlin Heidelberg

Proof Theory

Springer Berlin Heidelberg

Fuori catalogo - Non ordinabile

6th Conference On Automated Deduction di LOVELAND D. W. edito da Springer

6th Conference On Automated Deduction

di LOVELAND D. W.

Fuori catalogo - Non ordinabile

The Book of L edito da Springer

The Book of L

Fuori catalogo - Non ordinabile

Einfa1/4hrung in Die Mengenlehre: Die Mengenlehre Georg Cantors Und Ihre Axiomatisierung Durch Ernst Zermelo di Oliver Deiser edito da Springer

Einfa1/4hrung in Die Mengenlehre: Die Mengenlehre Georg Cantors Und Ihre Axiomatisierung Durch Ernst Zermelo

di Oliver Deiser

Prodotto momentaneamente non disponibile

Theoretische Informatik: Eine Umfassende Einfa1/4hrung di Katrin Erk, Lutz Priese edito da Springer New York

Theoretische Informatik: Eine Umfassende Einfa1/4hrung

di Katrin Erk , Lutz Priese

Springer New York

Prodotto momentaneamente non disponibile

Theoretische Informatik: Petri-Netze di Lutz Priese, Harro Wimmel edito da Springer

Theoretische Informatik: Petri-Netze

di Lutz Priese , Harro Wimmel

Prodotto momentaneamente non disponibile

Cabal Seminar 81-85 di A. S Kechris, D.A. Martin, J. R Steel edito da Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg

Cabal Seminar 81-85

di A. S Kechris , D.A. Martin , J. R Steel

Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg

Fuori catalogo - Non ordinabile

Briefe di Georg Cantor edito da Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg

Briefe

di Georg Cantor

Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg

Fuori catalogo - Non ordinabile

Kolmogorov Complexity and Computational Complexity edito da Springer

Kolmogorov Complexity and Computational Complexity

Fuori catalogo - Non ordinabile

Foundations Of Mathematics di E. Engeler edito da Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg

Foundations Of Mathematics

Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg

Fuori catalogo - Non ordinabile

The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings di Akihiro Kanamori edito da Springer

The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings

di Akihiro Kanamori

Prodotto momentaneamente non disponibile

Fine Structure And Iteration Trees di William J. Mitchell, John R. Steel edito da Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg

Fine Structure And Iteration Trees

di William J. Mitchell , John R. Steel

Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg

Fuori catalogo - Non ordinabile

Ultimi prodotti visti