Mathematics Logic (2088)
-
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 € -
The Axiom of Constructibility: A Guide for the Mathematician
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1977Libri in Inglese | MathematicsDisponibilità in 2 settimane50,60 € -
Fundamentals of Computation Theory: Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1977Libri in Inglese | MathematicsDisponibilità in 2 settimane66,40 € -
First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1977Libri in Inglese | MathematicsDisponibilità in 2 settimane61,70 € -
Mathematische Logik mit Informatik-Anwendungen
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1977Libri in Inglese | MathematicsDisponibilità in 2 settimane85,50 € -
The Homology of Iterated Loop Spaces
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1976Libri in Inglese | MathematicsDisponibilità in 2 settimane67,20 € -
ISILC - Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1975Libri in Inglese | MathematicsDisponibilità in 2 settimane84,40 € -
ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1976Libri in Inglese | MathematicsDisponibilità in 2 settimane56,60 € -
Infinitary Logic: In Memoriam Carol Karp
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1975Libri in Inglese | MathematicsDisponibilità in 2 settimane87,60 € -
?-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo “Mauro Picone” of the Consiglio Nazionale delle Ricerche
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1975Libri in Inglese | MathematicsDisponibilità in 2 settimane68,30 € -
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1973Libri in Inglese | MathematicsDisponibilità in 2 settimane85,50 € -
Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1973Libri in Inglese | MathematicsDisponibilità in 2 settimane74,80 € -
Ensembles Analytiques, Capacites, Mesures de Hausdorff
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1972Libri in Inglese | MathematicsDisponibilità in 2 settimane32,90 € -
Introduction to Mathematical Logic
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1973Libri in Inglese | MathematicsDisponibilità in 2 settimane66,70 € -
Cambridge Summer School in Mathematical Logic: Held in Cambridge /U. K., August 1-21, 1971
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1973Libri in Inglese | MathematicsDisponibilità in 2 settimane84,80 € -
Proof Theory and Intuitionistic Systems
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1971Libri in Inglese | MathematicsDisponibilità in 2 settimane74,30 € -
Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1970Libri in Inglese | MathematicsDisponibilità in 2 settimane74,50 € -
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1970Libri in Inglese | MathematicsDisponibilità in 2 settimane50,50 € -
The Syntax and Semantics of Infinitary Languages
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1968Libri in Inglese | MathematicsDisponibilità in 2 settimane87,30 € -
Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1968Libri in Inglese | MathematicsDisponibilità in 2 settimane74,40 € -
Mengenlehre und ihre Logik
Venditore: FeltrinelliSpringer Fachmedien Wiesbaden, 1973Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane56,00 €
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.
