Lev D. Beklemishev's Documents

Lev D. Beklemishev's Documents

Contributions to non-standard analysis

Contributions to non-standard analysis
Read more
Constructive order types

Constructive order types
Read more
Truth, syntax and modality: Proceedings Philadelphia, 1970

Truth, syntax and modality: Proceedings Philadelphia, 1970
Read more
Lincos: Design of a language for cosmic intercourse

Lincos: Design of a language for cosmic intercourse
Read more
Logic Colloquium '69

Logic Colloquium '69
Read more
Mathematical logic in Latin America: Proceedings Santiago, 1978

Mathematical logic in Latin America: Proceedings Santiago, 1978
Read more
Non-classical logics, model theory and computability: Proceedings Campinas, 1976

Non-classical logics, model theory and computability: Proceedings Campinas, 1976
Read more
Truth and consequence in mediaeval logic

Truth and consequence in mediaeval logic
Read more
Provability, Computability and Reflection, Volume 17

Provability, Computability and Reflection, Volume 17
Read more
Foundational Studies, Selected Works

Foundational Studies, Selected Works
Read more
A deductive theory of space and time (no TOC)

A deductive theory of space and time (no TOC)
Read more
Logic in Algebraic Form, Three Languages and Theories

Logic in Algebraic Form, Three Languages and Theories
Read more
Introduction to the theory of finite automata

Introduction to the theory of finite automata
Read more
Undecidable theories

Undecidable theories
Read more
Intuitionism: An introduction

Intuitionism: An introduction
Read more
Generalized recursion theory II: Proceedings Oslo, 1977

Generalized recursion theory II: Proceedings Oslo, 1977
Read more
Provability, Computability and Reflection, Volume 83

Provability, Computability and Reflection, Volume 83
Read more
Provability, Computability and Reflection, Volume 30

Provability, Computability and Reflection, Volume 30
Read more
Problems in the philosophy of science: Proceedings London, 1965

Problems in the philosophy of science: Proceedings London, 1965
Read more
Foundations of set theory

Foundations of set theory
Read more
Intuitionism and proof theory: Proceedings Buffalo, 1968

Intuitionism and proof theory: Proceedings Buffalo, 1968
Read more
Logic, Methodology and Philosophy of Science IV

Logic, Methodology and Philosophy of Science IV
Read more
Aristotle's modal syllogisms (no TOC)

Aristotle's modal syllogisms (no TOC)
Read more
Logic, methodology and philosophy of science III: Proceedings Amsterdam, 1967

Logic, methodology and philosophy of science III: Proceedings Amsterdam, 1967
Read more
Logic colloquium '69: Proceedings Manchester, 1969

Logic colloquium '69: Proceedings Manchester, 1969
Read more
Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium: Symposium Proceedings: 2nd, 1977

Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium: Symposium Proceedings: 2nd, 1977
Read more
Provability, Computability and Reflection

Provability, Computability and Reflection
Read more
The axiom of choice

The axiom of choice
Read more
The axiom of choice

The axiom of choice
Read more
Recursive number theory: A development of recursive arithmetic in a logic-free equation calculus

Recursive number theory: A development of recursive arithmetic in a logic-free equation calculus
Read more