Connaissez-vous déjà notre service clients professionnels ? Nous nous ferons un plaisir de vous conseiller.
Focus
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover
Logik für die Informatik

Logik für die Informatik

Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Livre (broché)env. 49.90 CHF
disponible dès juin 2025

Informations bibliographiques

juin 2025, env. 248 pages, Allemand
Springer
978-3-662-70824-8

Mots-clés

Autres titres sur ce thème

The Logic, Philosophy, and History of the Lambda-Calculus
Theory and Applications
Springer International Publishing, 2025
978-3-031-72850-1
179.00 CHF
livrable dans env. 20-45 jours
Extreme-Scale Computing
A Practical Introduction with C++
Springer International Publishing, 2025
978-3-031-89032-1
env. 89.00 CHF
disponible dès septembre 2025
Combinatorial Set Theory
With a Gentle Introduction to Forcing
Springer International Publishing, 2025
978-3-031-91751-6
env. 198.00 CHF
disponible dès juin 2025
Structural Decision Diagrams in Digital Test
Theory and Applications
Springer International Publishing, 2025
978-3-031-44736-5
261.00 CHF
livrable dans env. 20-45 jours
Convex Functions and Their Applications
A Contemporary Approach
Springer International Publishing, 2025
978-3-031-71966-0
110.00 CHF
livrable dans env. 20-45 jours
Computable Structure Theory
A Unified Approach
Springer International Publishing, 2025
978-3-031-92432-3
env. 168.00 CHF
disponible dès juin 2025
Inverse Combinatorial Optimization Problems
Springer International Publishing, 2025
978-3-031-91174-3
env. 178.00 CHF
disponible dès juillet 2025