Skip to main content

Books in Theory and mathematics

111-120 of 301 results in All results

SET THEORY

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

Intuitionistic Logic Model Theory and Forcing

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

The Collected Papers of Gerhard Gentzen

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

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