-20%
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.
-20%
Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Original price was: ₹2,901.00.₹2,321.00Current price is: ₹2,321.00.
-20%
Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977
Original price was: ₹5,507.00.₹4,406.00Current price is: ₹4,406.00.
-20%
Higher Set Theory: Proceedings, Oberwolfach, Germany, April 13-23, 1977
Original price was: ₹5,507.00.₹4,406.00Current price is: ₹4,406.00.
-20%
ISILC – Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Original price was: ₹5,507.00.₹4,406.00Current price is: ₹4,406.00.
-20%
ISILC – Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Original price was: ₹5,507.00.₹4,406.00Current price is: ₹4,406.00.
-21%
ISILC – Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Original price was: ₹3,944.00.₹3,155.00Current price is: ₹3,155.00.
-21%
ISILC – Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974
Original price was: ₹3,944.00.₹3,155.00Current price is: ₹3,155.00.
-20%
Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Original price was: ₹4,465.00.₹3,572.00Current price is: ₹3,572.00.
-20%
Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Original price was: ₹4,465.00.₹3,572.00Current price is: ₹3,572.00.
-20%
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 1: Models and Sets
Original price was: ₹4,986.00.₹3,989.00Current price is: ₹3,989.00.
-20%
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 1: Models and Sets
Original price was: ₹4,986.00.₹3,989.00Current price is: ₹3,989.00.
-21%
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989
Original price was: ₹3,944.00.₹3,155.00Current price is: ₹3,155.00.
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics.
-21%
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989
Original price was: ₹3,944.00.₹3,155.00Current price is: ₹3,155.00.
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics.
-20%
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
Original price was: ₹5,507.00.₹4,406.00Current price is: ₹4,406.00.
-20%
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
Original price was: ₹5,507.00.₹4,406.00Current price is: ₹4,406.00.