Skip to main content

Books in Theory and mathematics

81-90 of 301 results in All results

Axiomatic Set Theory

1st Edition
Volume 21
April 1, 2000
Lev D. Beklemishev
English
eBook
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
9 7 8 - 0 - 0 8 - 0 9 5 7 4 2 - 5

Provability, Computability and Reflection

1st Edition
Volume 23
April 1, 2000
Lev D. Beklemishev
English
eBook
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
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
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
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
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
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
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
9 7 8 - 0 - 0 8 - 0 9 5 7 5 0 - 0

Related subjects

Analysis of algorithms and problem complexity

Logics and meanings of programs

Mathematical logic and formal languages

Natural computation

Quantum computing

Theory and mathematics general