Mathematics Logic (2092)
-
How to Read and Do Proofs: An Introduction to Mathematical Thought Processes
Venditore: Feltrinelli94,94 € -
Paradoxes and Inconsistent Mathematics
Venditore: Feltrinelli43,90 € -
(Co)end Calculus
Venditore: Feltrinelli125,50 € -
Justification Logic: Reasoning with Reasons
Venditore: Feltrinelli183,20 € -
Logic Colloquium 2007
Venditore: Feltrinelli58,10 € -
Kurt Goedel: Essays for his Centennial
Venditore: Feltrinelli67,60 € -
Methods of Argumentation
Venditore: Feltrinelli45,60 € -
Introduction to Coalgebra: Towards Mathematics of States and Observation
Venditore: Feltrinelli231,90 € -
Logic Colloquium '90: ASL Summer Meeting in Helsinki
Venditore: Feltrinelli169,10 € -
Higher Recursion Theory
Venditore: Feltrinelli212,80 € -
Recursion-Theoretic Hierarchies
Venditore: Feltrinelli234,40 € -
Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way
Venditore: Feltrinelli184,20 € -
Groups, Languages and Automata
Venditore: Feltrinelli179,40 € -
A Guide to NIP Theories
Venditore: Feltrinelli184,00 € -
Complexity of Infinite-Domain Constraint Satisfaction
Venditore: Feltrinelli208,80 € -
A Course on Set Theory
Venditore: Feltrinelli180,30 € -
Set Theory: An Introduction to Axiomatic Reasoning
Venditore: Feltrinelli159,80 € -
Transition to Advanced Mathematics
Venditore: Feltrinelli101,90 € -
A Primer of Logic
Venditore: Feltrinelli31,10 € -
Generating Test Templates via Automated Theorem Proving
Venditore: FeltrinelliHutson Street Press, 2025Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane30,90 € -
An Application of Automated Theorem Provers to Computer System Security
Venditore: FeltrinelliHutson Street Press, 2025Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane32,00 € -
A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Venditore: FeltrinelliHutson Street Press, 2025Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane32,70 € -
The SETL Project Master Catalog. A Comprehensive Listing of Reports, Working Papers, and Computer Readable Document and Program Files Pertaining to Work at NYU on the SETL Set-theoretic Programming Language
Venditore: FeltrinelliHutson Street Press, 2025Libri in Inglese | Science, Computer & TechnologyDisponibilità in 3 settimane14,90 € -
Solutions to Exercises in Fundamentals of Logic
Venditore: Feltrinelli18,70 € -
Handbook of Logic
Venditore: Feltrinelli30,80 €
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.
