Тема, жанр, tags: Computational complexity,Recursion theory,MATHEMATICS / General,MATHEMATICS / Applied » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computational complexity,Recursion theory,MATHEMATICS / General,MATHEMATICS / Applied

book Complexity, logic, and recursion theory

Complexity, logic, and recursion theory

pdf

Author: Sorbi Andrea
Language: English
Year: 2019

00

30.01.2024

1

0

book Abstract Recursion and Intrinsic Complexity

Abstract Recursion and Intrinsic Complexity

pdf

Author: Yiannis N. Moschovakis
Language: English
Year: 2019

00

30.01.2024

0

0

book Set theory and hierarchy theory: A memorial tribute to A. Mostowski

Set theory and hierarchy theory: A memorial tribute to A. Mostowski

djvu

Author: Zarach A., Marek W., Srebrny M et al. (eds.)
Language: English
Year: 1976

00

30.01.2024

0

0

book Recursion theory. Computational aspects of definability

Recursion theory. Computational aspects of definability

pdf

Author: Chong Chi-Tat, Yu Liang
Language: English
Year: 2015

00

30.01.2024

0

0

book Recursion theory for metamathematics

Recursion theory for metamathematics

djvu

Author: Smullyan Raymond M
Language: English
Year: 1993

00

30.01.2024

0

0

book Fundamentals of mathematical logic

Fundamentals of mathematical logic

pdf

Author: Hinman Peter G
Language: English
Year: 2005

00

30.01.2024

0

0

book Fundamentals of mathematical logic

Fundamentals of mathematical logic

pdf

Author: Hinman Peter G.
Language: English
Year: 2005

00

30.01.2024

1

0

book Foundations of mathematics : logic at Harvard : essays in honor of W. Hugh Woodin’s 60th birthday

Foundations of mathematics : logic at Harvard : essays in honor of W. Hugh Woodin’s 60th birthday

pdf

Author: Caicedo Andrés Eduardo, Cummings James, Koellner Peter, Larson Paul B. (eds.)
Language: English
Year: 2017

00

28.01.2024

0

0

book Computability : An Introduction to Recursive Function Theory

Computability : An Introduction to Recursive Function Theory

djvu

Author: Nigel Cutland
Language: English
Year: 1980

00

28.01.2024

0

0