Mathematics Logic (2092)
-
Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1987Libri in Inglese | MathematicsDisponibilità in 2 settimane68,70 € -
Injective Choice Functions
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1987Libri in Inglese | MathematicsDisponibilità in 2 settimane50,20 € -
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1986Libri in Inglese | MathematicsDisponibilità in 2 settimane65,30 € -
The Enumerative Theory of Conics after Halphen
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1986Libri in Inglese | MathematicsDisponibilità in 2 settimane50,40 € -
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1985Libri in Inglese | MathematicsDisponibilità in 2 settimane85,90 € -
Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1985Libri in Inglese | MathematicsDisponibilità in 2 settimane86,40 € -
Techniques of Admissible Recursion Theory
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1984Libri in Inglese | MathematicsDisponibilità in 2 settimane68,60 € -
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1984Libri in Inglese | MathematicsDisponibilità in 2 settimane71,90 € -
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 1: Models and Sets
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1984Libri in Inglese | MathematicsDisponibilità in 2 settimane71,80 € -
Lectures on Formally Real Fields
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1984Libri in Inglese | MathematicsDisponibilità in 2 settimane50,40 € -
Mathematical Foundations of Computer Science 1984: 11th Symposium Praha, Czechoslovakia September 3-7, 1984. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1984Libri in Inglese | MathematicsDisponibilità in 2 settimane66,60 € -
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 €
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.
