Books in Mathematical logic and formal languages

31-40 of 95 results in All results

Provability, Computability and Reflection

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

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

Provability, Computability and Reflection

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

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

Provability, Computability and Reflection

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

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

Computer Programming and Formal Systems

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

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

Provability, Computability and Reflection

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

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

Lincos

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

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

Provability, Computability and Reflection

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

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

Provability, Computability and Reflection

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

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

Provability, Computability and Reflection

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

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

Provability, Computability and Reflection

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

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