BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
Mathematische Logik
148 Treffer
García de la Sienra
With Applications to Economic Theory
Fachbuch2026SpringerISBN 978-3-032-05676-4
Ankündigung
An Introduction
Fachbuch2026SpringerISBN 978-3-032-10039-9
Ankündigung
Hyndman / Nation
Fachbuch2026SpringerISBN 978-3-032-22178-0
Ankündigung
Exploring the Nature of Mathematical Proof and the Cultural Legacy of the World's Most Famous Theorem
Fachbuch2026SpringerISBN 978-3-662-73246-5
Ankündigung
Fachbuch2026SpringerISBN 978-3-032-30720-0
Ankündigung
Mit strenger Axiomatik zu einem tragfähigen Gefüge
Fachbuch2026SpringerISBN 978-3-662-73640-1
Ankündigung
Fachbuch2026SpringerISBN 978-3-658-52317-6
Ankündigung
A Guided Introduction to the Fundamental Ideas
Fachbuch2026SpringerISBN 978-3-032-26872-3
Ankündigung
Carnielli / Rodrigues
Essays in Honor of Marcelo Esteban Coniglio
Fachbuch2026SpringerISBN 978-3-032-28686-4
neu
Brattka / Fernau / Galeotti
22nd Conference on Computability in Europe, CiE 2026, Trier, Germany, July 27–31, 2026, Proceedings
Fachbuch2026SpringerISBN 978-3-032-31347-8
Ankündigung
Fachbuch2026SpringerISBN 978-3-032-36598-9
neu
Truth Lattices and Logic Gates
Fachbuch2026De GruyterISBN 978-3-11-223580-5
neu
Exploring New Frontiers
Fachbuch2026SpringerISBN 978-3-032-25673-7
neu
Fachbuch2026Birkhäuser Verlag GmbHISBN 978-3-032-05469-2
neu
240 Key Topics Explained on a Single Page Each
Fachbuch2026SpringerISBN 978-3-662-73220-5
neu
7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
Fachbuch2026SpringerISBN 978-3-032-26742-9
Toptitel
Die erstaunlichsten Alltagsirrtümer und wie man sie durchschaut
Monografie2011C.H.BECKISBN 978-3-406-62204-5
Ankündigung
Blanchette / Mahboubi
Proof Assistants and Their Applications in Mathematics and Computer Science
Proof Assistants and Their Applications in Mathematics and Computer Science
Fachbuch2027SpringerISBN 978-3-031-85189-6
neu
Vom Verständnis zum praktischen Werkzeug
Fachbuch2026SpringerISBN 978-3-662-72189-6
Rezensionen
