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

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

book Ordinal Algebras

Ordinal Algebras

djvu

Author: Alfred Tarski
Language: English
Year: 1956

00

26.01.2024

0

0

book Recursive functionals

Recursive functionals

djvu

Author: L.E. Sanchis
Language: English
Year: 1992

00

26.01.2024

1

0

book Intensional mathematics

Intensional mathematics

djvu

Author: Stewart Shapiro
Language: English
Year: 1985

00

26.01.2024

1

0

book Non-standard analysis

Non-standard analysis

djvu

Author: Abraham Robinson
Language: English
Year: 1966

00

26.01.2024

0

0

book On the Metamathematics of Algebra

On the Metamathematics of Algebra

djvu

Author: Abraham Robinson
Language: English
Year: 1951

00

26.01.2024

0

0

book Many-valued logics

Many-valued logics

djvu

Author: J. B. Rosser A. R. Turquette
Language: English
Year: 1952

00

26.01.2024

1

0

book Equivalents of the axiom of choice, II

Equivalents of the axiom of choice, II

djvu

Author: Herman Rubin
Language: English
Year: 1985

00

26.01.2024

2

0

book An algebraic approach to non-classical logics

An algebraic approach to non-classical logics

djvu

Author: Helena Rasiowa
Language: English
Year: 1974

00

26.01.2024

0

0

book Constructible sets with applications

Constructible sets with applications

djvu

Author: Andrzej Mostowski
Language: English
Year: 1969

00

26.01.2024

0

0

book Sentences Undecidable in Formalized Arithmetic

Sentences Undecidable in Formalized Arithmetic

djvu

Author: Andrzej Mostowski
Language: English
Year: 1952

00

26.01.2024

0

0