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

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

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

pdf

Author: P. Odifreddi
Language: English
Year: 1999

00

27.01.2024

0

0

book Problems in the Philosophy of Mathematics

Problems in the Philosophy of Mathematics

pdf

Author: Imre Lakatos
Language: English
Year: 1967

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 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

27.01.2024

0

0

book Logic Colloquium '87: Proceedings Granada, Spain 1987

Logic Colloquium '87: Proceedings Granada, Spain 1987

djvu

Author: H. D. Ebbinghaus J. Fernandez-Prida M. Garrido D. Lascar
Language: English
Year: 1989

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

1

0

book Foundations of Set Theory, Second Edition

Foundations of Set Theory, Second Edition

djvu

Author: A.A. Fraenkel Y. Bar-Hillel A. Levy
Language: English
Year: 1973

00

27.01.2024

0

0

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

0

0

book Intuitionistic logic, model theory and forcing

Intuitionistic logic, model theory and forcing

djvu

Author: Melvin Fitting
Language: English
Year: 1969

00

27.01.2024

0

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