Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Autor Dirk Siefkes et al.
Paperback
Preț: 263.58 lei
43-57 zile
Cărți de Gert H. Müller
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
Editat de Heinz-Dieter Ebbinghaus et al.
aug 1985
Paperback
Preț: 476.42 lei
43-57 zile
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989
Editat de Klaus Ambos-Spies et al.
24 iul 1990
Paperback
Preț: 322.16 lei
43-57 zile
Ω-Bibliography of Mathematical Logic: Recursion Theory
Wolfgang Lenski et al.
3 oct 2013
Paperback
Preț: 423.33 lei
43-57 zile
Ω-Bibliography of Mathematical Logic: Model Theory
Wolfgang Lenski et al.
3 oct 2013
Paperback
Preț: 416.33 lei
43-57 zile
Ω-Bibliography of Mathematical Logic: Non-Classical Logics
Wolfgang Lenski et al.
sep 2014
Paperback
Preț: 402.42 lei
43-57 zile