Skip to main content

Books in Theory and mathematics

71-80 of 301 results in All results

Provability, Computability and Reflection

1st Edition
Volume 11
April 1, 2000
Lev D. Beklemishev
English
eBook
9 7 8 - 0 - 0 8 - 0 9 5 7 3 1 - 9

Provability, Computability and Reflection

1st Edition
Volume 12
April 1, 2000
Lev D. Beklemishev
English
eBook
9 7 8 - 0 - 0 8 - 0 9 5 7 3 2 - 6

Provability, Computability and Reflection

1st Edition
Volume 13
April 1, 2000
Lev D. Beklemishev
English
eBook
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
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
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
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
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
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
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
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.

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