Books in Mathematical logic and formal languages

71-80 of 95 results in All results

SET THEORY

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

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

Combinatorial Set Theory

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

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

Non-Classical Logics, Model Theory, And Computability

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

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

Contributions to Non-Standard Analysis

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

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

Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities

• 1st Edition
• Volume 59
• April 1, 2000
• Lev D. Beklemishev
• English
• eBook 978-978-008-095-2

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

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

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

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

Model Theory For Infinitary Logic

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

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

Proceedings of the Second Scandinavian Logic Symposium

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

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

LOGIC COLLOQUIUM '69

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

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

An Algebraic Approach to Non-Classical Logics

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

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