
Proof and Computation
Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg
₹4,886
Showing 1–24 of 263 books

Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg
₹4,886

Miklós Laczkovich
₹2,850

Shavit/Naor/Werner
₹3,921

Organisation for Economic Co-operation and Development
₹2,000

Michael Detlefsen
₹5,060

Hendrik Kaptein
₹10,018

Daniela Berti, Anthony Good, Gilles Tarabout
₹8,515

Andrea Sereni, Francesca Boccuni
₹10,044

Andrea Sereni Francesca Boccuni
₹4,665

Hubert Comon
₹2,387

Fenrong Liu, Hiroakira Ono, Junhua Yu
₹4,286

Fenrong Liu, Hiroakira Ono, Junhua Yu
₹11,567

Johan van Benthem
₹12,046

NATO Advanced Study Institute on Proof and System-Reliability (2001 Marktoberdorf, Germany)
₹3,926

David S. G. Stirling
₹3,862

Michael Drury
₹14,375

Michael Drury
₹1,485

Michael Drury
₹7,346

Michael Drury
₹3,413

Martin Gogolla, Burkhart Wolff
₹5,492

Imre Lakatos
₹5,100

Helmut Schwichtenberg, Stanley S. Wainer
₹4,028

David M. Bressoud
₹4,728

Logic Colloquium (1997 Leeds, England)
₹6,949