Books in Mathematical logic and formal languages

61-70 of 95 results in All results

The Collected Papers of Gerhard Gentzen

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

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

Constructive Order Types

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

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

Constructible Sets with Applications

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

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

Foundational Studies Selected Works

• 1st Edition
• Volume 93A
• April 1, 2000
• Lev D. Beklemishev
• English
• eBook 978-0-08-095500-1

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

Foundational Studies

• 1st Edition
• Volume 93B
• April 1, 2000
• Lev D. Beklemishev
• English
• eBook 978-0-08-095501-8

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

Generalized Recursion Theory II

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

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

Logic Colloquium '77

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

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

WORD PROBLEMS II

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

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

Logic Colloquium '78, Proceedings of the colloquium held in Mons

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

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

Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

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

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