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

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

book Handbook of Mathematical Logic

Handbook of Mathematical Logic

pdf

Author: Jon Barwise (ed.)
Language: English
Year: 1999

00

27.01.2024

0

0

book Intuitionistic Logic, Model Theory and Forcing

Intuitionistic Logic, Model Theory and Forcing

pdf

Author: Melvin Fitting
Language: English
Year: 1969

00

27.01.2024

0

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

27.01.2024

0

0

book Handbook of Proof Theory

Handbook of Proof Theory

pdf

Author: Samuel R. Buss (Editor)
Language: English
Year: 1998

00

27.01.2024

0

0

book Sentences Undecidable in Formalized Arithmetic

Sentences Undecidable in Formalized Arithmetic

pdf

Author: Andrzej Mostowski
Language: English
Year: 1952

00

27.01.2024

0

0

book Descriptive Set Theory

Descriptive Set Theory

djvu

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

00

27.01.2024

1

0

book Logical Frameworks for Truth and Abstraction: An Axiomatic Study

Logical Frameworks for Truth and Abstraction: An Axiomatic Study

pdf

Author: A. Cantini
Language: English
Year: 1996

00

27.01.2024

0

0

book The Theory of Semisets

The Theory of Semisets

pdf

Author: Petr Vopenka Petr Hajek
Language: English
Year: 1972

00

27.01.2024

0

0

book Algebra of Proofs

Algebra of Proofs

pdf

Author: M. E. Szabo
Language: English
Year: 1978

00

27.01.2024

0

0

book Contributions to Non-Standard Analysis

Contributions to Non-Standard Analysis

pdf

Author: W.A.J. Luxemburg Abraham Robinson
Language: English
Year: 1972

00

27.01.2024

0

0