Books in Mathematical logic and formal languages

11-20 of 95 results in All results

Elementary Induction on Abstract Structures

• 1st Edition
• Volume 77
• April 1, 2000
• Lev D. Beklemishev
• English
• eBook 978-0-08-095487-5

  9 7 8 - 0 - 0 8 - 0 9 5 4 8 7 - 5

Generalized Recursion Theory

• 1st Edition
• Volume 79
• April 1, 2000
• Lev D. Beklemishev
• English
• eBook 978-0-08-095489-9

  9 7 8 - 0 - 0 8 - 0 9 5 4 8 9 - 9

Large Infinitary Languages

• 1st Edition
• Volume 83
• April 1, 2000
• Lev D. Beklemishev
• English
• eBook 978-0-08-095493-6

  9 7 8 - 0 - 0 8 - 0 9 5 4 9 3 - 6

Provability, Computability and Reflection

• 1st Edition
• Volume 3
• April 1, 2000
• Lev D. Beklemishev
• English
• eBook 978-0-08-095723-4

  9 7 8 - 0 - 0 8 - 0 9 5 7 2 3 - 4

Provability, Computability and Reflection

• 1st Edition
• Volume 4
• April 1, 2000
• Lev D. Beklemishev
• English
• eBook 978-0-08-095724-1

  9 7 8 - 0 - 0 8 - 0 9 5 7 2 4 - 1

Provability, Computability and Reflection

• 1st Edition
• Volume 5
• April 1, 2000
• Lev D. Beklemishev
• English
• eBook 978-0-08-095725-8

  9 7 8 - 0 - 0 8 - 0 9 5 7 2 5 - 8

Provability, Computability and Reflection

• 1st Edition
• Volume 7
• April 1, 2000
• Lev D. Beklemishev
• English
• eBook 978-0-08-095727-2

  9 7 8 - 0 - 0 8 - 0 9 5 7 2 7 - 2

Sentences Undecidable in Formalized Arithmetic

• 1st Edition
• Volume 10
• April 1, 2000
• Lev D. Beklemishev
• English
• eBook 978-0-08-095730-2

  9 7 8 - 0 - 0 8 - 0 9 5 7 3 0 - 2

Provability, Computability and Reflection

• 1st Edition
• Volume 11
• April 1, 2000
• Lev D. Beklemishev
• English
• eBook 978-0-08-095731-9

  9 7 8 - 0 - 0 8 - 0 9 5 7 3 1 - 9

Provability, Computability and Reflection

• 1st Edition
• Volume 12
• April 1, 2000
• Lev D. Beklemishev
• English
• eBook 978-0-08-095732-6

  9 7 8 - 0 - 0 8 - 0 9 5 7 3 2 - 6