Mathematics Logic (2144)
-
Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23–28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1984Libri in Inglese | MathematicsDisponibilità in 2 settimane60,70 € -
Metamathematische Methoden in der Geometrie
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1983Libri in Inglese | MathematicsDisponibilità in 2 settimane80,20 € -
Formally p-adic Fields
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1984Libri in Inglese | MathematicsDisponibilità in 2 settimane50,30 € -
Zahlen
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1983Libri in Inglese | MathematicsDisponibilità in 2 settimane74,90 € -
Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1983Libri in Inglese | MathematicsDisponibilità in 2 settimane37,90 € -
Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1983Libri in Inglese | MathematicsDisponibilità in 2 settimane37,80 € -
Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1983Libri in Inglese | MathematicsDisponibilità in 2 settimane49,90 € -
Strukturtypen der Logik
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1983Libri in Inglese | MathematicsDisponibilità in 2 settimane218,20 € -
Metamathematik der Elementarmathematik
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1983Libri in Inglese | MathematicsDisponibilità in 2 settimane75,70 € -
Category Theory: Applications to Algebra, Logic and Topology. Proceedings of the International Conference Held at Gummersbach, July 6-10, 1981
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1982Libri in Inglese | MathematicsDisponibilità in 2 settimane56,60 € -
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1981Libri in Inglese | MathematicsDisponibilità in 2 settimane56,60 € -
Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1981Libri in Inglese | MathematicsDisponibilità in 2 settimane73,60 € -
Model Theory and Arithmetic: Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, France, 1979/80
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1981Libri in Inglese | MathematicsDisponibilità in 2 settimane74,20 € -
Cylindric Set Algebras
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1981Libri in Inglese | MathematicsDisponibilità in 2 settimane74,10 € -
Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1981Libri in Inglese | MathematicsDisponibilità in 2 settimane73,90 € -
Set Theory and Model Theory: Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1981Libri in Inglese | MathematicsDisponibilità in 2 settimane50,10 € -
Logic Year 1979-80: The University of Connecticut, USA
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1981Libri in Inglese | MathematicsDisponibilità in 2 settimane74,00 € -
Cabal Seminar 77 – 79: Proceedings, Caltech-UCLA Logic Seminar 1977 – 79
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1981Libri in Inglese | MathematicsDisponibilità in 2 settimane68,80 € -
Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz,Poland, September 1-7, 1979
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1980Libri in Inglese | MathematicsDisponibilità in 2 settimane72,30 € -
Recursion on the Countable Functionals
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1980Libri in Inglese | MathematicsDisponibilità in 2 settimane49,90 € -
5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1980Libri in Inglese | MathematicsDisponibilità in 2 settimane67,40 € -
Topological Model Theory
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1980Libri in Inglese | MathematicsDisponibilità in 2 settimane50,20 € -
Aufzählbarkeit Entscheidbarkeit Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1978Libri in Inglese | MathematicsDisponibilità in 2 settimane79,90 € -
Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1978Libri in Inglese | MathematicsDisponibilità in 2 settimane66,70 € -
Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1978Libri in Inglese | MathematicsDisponibilità in 2 settimane68,50 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.
