Mathematics Logic (2112)
-
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 € -
Reading, Writing, and Proving: A Closer Look at Mathematics
Venditore: Feltrinelli56,24 € -
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 settimane11,50 € -
Solutions to Exercises in Fundamentals of Logic
Venditore: Feltrinelli18,70 € -
Handbook of Logic
Venditore: Feltrinelli30,80 € -
Lectures On the Logic of Arithmetic
Venditore: Feltrinelli21,60 € -
The Game of Logic
Venditore: Feltrinelli18,90 € -
The Algebra of Logic
Venditore: Feltrinelli21,20 € -
The Cloud of Unknowing
Venditore: Feltrinelli31,19 € -
An Introduction to String Diagrams for Computer Scientists
Venditore: Feltrinelli76,00 € -
Abelian Model Category Theory
Venditore: Feltrinelli99,80 € -
The Logic of Entailment and its History
Venditore: Feltrinelli41,60 € -
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Venditore: Feltrinelli52,10 € -
Logics of Time and Computation
Venditore: FeltrinelliCentre for the Study of Language & Information, 1992Libri in Inglese | MathematicsAttualmente non disponibile32,03 € -
Norm Estimations for Operator Valued Functions and Their Applications
Venditore: Feltrinelli312,40 € -
Mathematical Logic and Theoretical Computer Science
Venditore: Feltrinelli480,50 € -
Logic Problems for Drill and Review
Venditore: Feltrinelli95,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.
