Book serie: / Книги серии: Studies in Logic and the Foundations of Mathematics 138 » Page 52 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Studies in Logic and the Foundations of Mathematics 138 » Page 52

book Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

pdf

Author: Yu.L.Ershov S.S.Goncharov A.Nerode J.B.Remmel
Language: English
Year: 1998

00

26.01.2024

0

0

book Handbook of Recursive Mathematics. Volume 2: Recursive Algebra, Analysis and Combinatorics

Handbook of Recursive Mathematics. Volume 2: Recursive Algebra, Analysis and Combinatorics

pdf

Author: Ershov Y.L.
Language: English
Year: 1998

00

26.01.2024

0

0

book Computable Structures and the Hyperarithmetical Hierarchy

Computable Structures and the Hyperarithmetical Hierarchy

pdf

Author: C.J. Ash J. Knight
Language: English
Year: 2000

00

26.01.2024

1

0

book Complete theories

Complete theories

djvu

Author: Abraham Robinson
Language: English
Year: 1977

00

26.01.2024

0

0

book Topoi: the categorial analysis of logic

Topoi: the categorial analysis of logic

djvu

Author: Robert Goldblatt
Language: English
Year: 1984

00

26.01.2024

0

0

book Proof theory

djvu

Author: Gaisi Takeuti
Language: English
Year: 1987

00

26.01.2024

0

0

book Undecidable theories

Undecidable theories

djvu

Author: Tarski A
Language: English
Year: 1971

00

26.01.2024

0

0

book Classical recursion theory: the theory of functions and sets of natural numbers

Classical recursion theory: the theory of functions and sets of natural numbers

djvu

Author: Piergiorgio Odifreddi
Language: English
Year: 1999

00

26.01.2024

0

0

book Complete theories

Complete theories

djvu

Author: Abraham Robinson
Language: English
Year: 1977

00

26.01.2024

0

0

book Harvey Friedman's research on the foundations of mathematics

Harvey Friedman's research on the foundations of mathematics

djvu

Author: L. A. Harrington M.D. Morley A. Scedrov S. G. Simpson
Language: English
Year: 1985

00

26.01.2024

1

0