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

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

book Solvable Cases of the Decision Problem

Solvable Cases of the Decision Problem

djvu

Author: W. Ackermann
Language: English
Year: 1954

00

26.01.2024

0

0

book A Transfinite Type Theory with Type Variables

A Transfinite Type Theory with Type Variables

djvu

Author: Peter B Andrews
Language: English
Year: 1965

00

26.01.2024

0

0

book Computable structures and the hyperarithmetical hierarchy

Computable structures and the hyperarithmetical hierarchy

djvu

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

00

26.01.2024

0

0

book Descriptive Set Theory

Descriptive Set Theory

djvu

Author: Y. N. Moschovakis
Language: English
Year: 1987

00

26.01.2024

0

0

book Set Theory. An Introduction to Independence Proofs

Set Theory. An Introduction to Independence Proofs

djvu

Author: Kenneth Kunen
Language: English
Year: 1983

00

26.01.2024

1

0

book Set theory, with an introduction to descriptive set theory

Set theory, with an introduction to descriptive set theory

djvu

Author: Kazimierz Kuratowski Andrzej Mostowski
Language: English
Year: 1976

00

26.01.2024

2

0

book Handbook of computability theory

Handbook of computability theory

djvu

Author: E.R. Griffor
Language: English
Year: 1999

00

26.01.2024

3

0

book Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism

pdf

Author: Morten Heine SÃ¸rensen M.Sc Ph.D Pawel Urzyczyn prof. dr hab.
Language: English
Year: 2006

00

26.01.2024

3

0

book Proof Theory

pdf

Author: Gaisi Takeuti
Language: English
Year: 1987

00

26.01.2024

1

0

book Admissibility of Logical Inference Rules

Admissibility of Logical Inference Rules

pdf

Author: V.V. Rybakov
Language: English
Year: 1997

00

26.01.2024

1

0