MATTHIAS BAAZ

MATTHIAS BAAZMatthias Baaz is currently University Professor and Head of the Group for Computational Logic at the Institute of Discrete Mathematics and Geometry at the Vienna University of Technology.

9 results found
List viewGrid view
Sort By:
1.
Methods of Cut-Elimination37 %
Publisher: Springer
No Review Yet
₹9,600
₹6,048
Binding:
Paperback
Release:
25 Feb 2013
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Methods of Cut-Elimination37 %
Publisher: Springer
No Review Yet
₹9,600
₹6,048
Binding:
Hardback
Release:
17 Jan 2011
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Logic Colloquium '0147 %
No Review Yet
₹3,107
₹1,647
Binding:
Paperback
Release:
07 Mar 2005
Language:
English
Available
Ships within 12-14 Days Explain..
7.
Logic Colloquium '0139 % NR
Publisher: A K Peters
No Review Yet
₹5,624
₹3,431
Binding:
Hardback
Release:
07 Mar 2005
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
8.
Kurt Gödel and the Foundations of Mathematics32 % NR
No Review Yet
₹15,480
₹10,458
Binding:
Digital (delivered electronically)
Release:
07 Sep 2011
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
9.
Kurt Godel and the Foundations of Mathematics30 % NR
No Review Yet
₹7,980
₹5,596
Binding:
Electronic book text
Release:
05 Sep 2014
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found