Books in Mathematical logic and formal languages

21-30 of 95 results in All results

Provability, Computability and Reflection

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

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

Provability, Computability and Reflection

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

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

Provability, Computability and Reflection

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

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

Provability, Computability and Reflection

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

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

Provability, Computability and Reflection

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

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

Provability, Computability and Reflection

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

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

Provability, Computability and Reflection

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

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

Provability, Computability and Reflection

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

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

Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.

Axiomatic Set Theory

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

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

Provability, Computability and Reflection

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

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