Cantitate/Preț
Produs
Total produse
Vezi coșul
First-Order Schemata and Inductive Proof Analysis de Alexander Leitsch

First-Order Schemata and Inductive Proof Analysis: Computer Science Foundations and Applied Logic

Autor Alexander Leitsch, David Michael Cerna, Anela Lolic
en Limba Engleză Hardback – 3 ian 2026

Din seria Computer Science Foundations and Applied Logic

  • 24% Structural Decision Diagrams in Digital Test
    Preț: 133342 lei
  • 15% Simple Type Theory
    Preț: 55560 lei
  • 20% Algorithms for Constructing Computably Enumerable Sets
    Preț: 38335 lei
  • Petri Net Primer
    Preț: 51995 lei
  • 20% Guide to Software Verification with Frama-C
    Preț: 45517 lei
  • 20% Category Theory Using Haskell
    Preț: 132523 lei

Preț: 95644 lei

Preț vechi: 125847 lei
-24%

Puncte Express: 1435

Carte tipărită la comandă

Livrare economică 01-07 decembrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783032057402
ISBN-10: 303205740X
Pagini: 256
Ilustrații: X, 246 p. 10 illus., 3 illus. in color.
Dimensiuni: 160 x 241 x 20 mm
Greutate: 0.55 kg
Editura: birkhäuser
Colecția Computer Science Foundations and Applied Logic
Seria Computer Science Foundations and Applied Logic

Notă biografică

Matthias Baaz is professor of logical foundations of computer science at the Vienna University of Technology. He obtained his Ph.D. in mathematical logic at the University of Vienna and habilitation at the Vienna University of Technology. His main field of research is proof theory in classical and nonclassical logics. Alexander Leitsch is professor of mathematics and theoretical computer science at the Vienna University of Technology. He obtained his Ph.D. in mathematics at the University of Vienna and habilitation at the University of Linz. His research areas are automated deduction and computational proof theory.