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

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

book Classification Theory, Second Edition: and the Number of Non-Isomorphic Models

Classification Theory, Second Edition: and the Number of Non-Isomorphic Models

djvu

Author: S. Shelah
Language: English
Year: 1990

00

27.01.2024

1

0

book Descriptive Set Theory

Descriptive Set Theory

pdf

Author: Yiannis Nicholas Moschovakis
Language: English
Year: 1980

00

27.01.2024

0

0

book Set Theory. An Introduction to Independence Proofs

Set Theory. An Introduction to Independence Proofs

pdf

Author: Kenneth Kunen
Language: English
Year: 1983

00

27.01.2024

0

0

book Cylindric Algebras, Part I

Cylindric Algebras, Part I

djvu

Author: Leon Henkin J. Donald Monk Alfred Tarski
Language: English
Year: 1971

00

27.01.2024

2

0

book Handbook of Proof Theory

Handbook of Proof Theory

pdf

Author: S.R. Buss
Language: English
Year: 1998

00

27.01.2024

0

0

book Proof Theory

pdf

Author: Gaisi Takeuti
Language: English
Year: 1975

00

27.01.2024

0

0

book Constructivism in Mathematics: An Introduction

Constructivism in Mathematics: An Introduction

pdf

Author: Anne S. Troelstra Dirk van Dalen
Language: English
Year: 1988

00

27.01.2024

0

0

book Handbook of Computability Theory

Handbook of Computability Theory

pdf

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

00

27.01.2024

0

0

book Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1

Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1

pdf

Author: Piergiorgio Odifreddi
Language: English
Year: 1989

00

27.01.2024

0

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

27.01.2024

0

0