84 Електронні книги від Lev D. Beklemishev
Lev D. Beklemishev: Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress
Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress …
PDF
Англійська
DRM
€219.87
Lev D. Beklemishev: Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 …
PDF
Англійська
DRM
€219.63
Lev D. Beklemishev: Model Theory For Infinitary Logic
Model Theory For Infinitary Logic …
PDF
Англійська
DRM
€218.29
Lev D. Beklemishev: Proceedings of the Second Scandinavian Logic Symposium
Proceedings of the Second Scandinavian Logic Symposium …
PDF
Англійська
DRM
€218.55
Lev D. Beklemishev: Metamathematics of Algebraic Systems
The Metamathematics of Algebraic Systems …
PDF
Англійська
DRM
€218.92
Lev D. Beklemishev: Truth, Syntax and Modality
Truth, Syntax and Modality …
PDF
Англійська
DRM
€218.24
Lev D. Beklemishev: Contributions to Non-Standard Analysis
Contributions to Non-Standard Analysis …
PDF
Англійська
DRM
€218.92
Lev D. Beklemishev: Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 …
PDF
Англійська
DRM
€217.82
Lev D. Beklemishev: Elementary Induction on Abstract Structures
Elementary Induction on Abstract Structures …
PDF
Англійська
DRM
€219.00
Lev D. Beklemishev: Algebraic Approach to Non-Classical Logics
An Algebraic Approach to Non-Classical Logics …
PDF
Англійська
DRM
€219.00
Lev D. Beklemishev: Generalized Recursion Theory
Generalized Recursion Theory …
PDF
Англійська
DRM
€218.02
Lev D. Beklemishev: Large Infinitary Languages
Large Infinitary Languages …
PDF
Англійська
DRM
€218.92
Lev D. Beklemishev: Sets and Classes on The Work by Paul Bernays
Sets and Classes on The Work by Paul Bernays …
PDF
Англійська
DRM
€218.24
Lev D. Beklemishev: Logic Colloquium 76, Proceedings of a conference
Logic Colloquium 76, Proceedings of a conference …
PDF
Англійська
DRM
€217.84
Lev D. Beklemishev: Non-Classical Logics, Model Theory, And Computability
Non-Classical Logics, Model Theory, And Computability …
PDF
Англійська
DRM
€218.26
Lev D. Beklemishev: Foundational Studies Selected Works
Foundational Studies Selected Works …
PDF
Англійська
DRM
€217.69
Lev D. Beklemishev: Generalized Recursion Theory II
Generalized Recursion Theory II …
PDF
Англійська
DRM
€219.23
Lev D. Beklemishev: Logic Colloquium ’78, Proceedings of the colloquium held in Mons
Logic Colloquium ’78, Proceedings of the colloquium held in Mons …
PDF
Англійська
DRM
€218.92
Lev D. Beklemishev: Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic …
PDF
Англійська
DRM
€217.53
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€218.29
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€218.69
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€217.84
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€217.58
Lev D. Beklemishev: Sentences Undecidable in Formalized Arithmetic
Sentences Undecidable in Formalized Arithmetic …
PDF
Англійська
DRM
€219.23
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€218.26
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€219.23
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€219.23
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€218.29
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€218.26
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€219.29
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€218.26
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€218.55
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€218.92
Lev D. Beklemishev: Provability, Computability and Reflection
Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications. …
PDF
Англійська
DRM
€218.82
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€217.82
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€219.29
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€217.69
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€219.23
Lev D. Beklemishev: Computer Programming and Formal Systems
Computer Programming and Formal Systems …
PDF
Англійська
DRM
€219.13
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€218.26
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€219.63
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€217.82
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€218.24
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€219.63
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Англійська
DRM
€219.13
Lev D. Beklemishev: Provability, Computability and Reflection
The book consists of a selection of the forms of the axiom of choice which appeared in the literature together with additional forms which were obtained in the process of writing the book. Forms whic …
PDF
Англійська
DRM
€217.84
Lev D. Beklemishev: Computer Programming and Formal Systems
Computer Programming and Formal Systems …
PDF
Англійська
DRM
€219.87
Lev D. Beklemishev: Languages with Expressions of Infinite Length
Languages with Expressions of Infinite Length …
PDF
Англійська
DRM
€217.82
Lev D. Beklemishev: Transfinite Type Theory with Type Variables
A Transfinite Type Theory with Type Variables …
PDF
Англійська
DRM
€217.58
Lev D. Beklemishev: Introduction to the Theory of Finite Automata
Introduction to the Theory of Finite Automata …
PDF
Англійська
DRM
€218.49
Lev D. Beklemishev: Foundations of Intuitionistic Mathematics
The Foundations of Intuitionistic Mathematics …
PDF
Англійська
DRM
€218.92
Lev D. Beklemishev: Formal Systems and Recursive Functions
Formal Systems and Recursive Functions …
PDF
Англійська
DRM
€217.69
Lev D. Beklemishev: Studies in Logic and the Foundations of Mathematics
Studies in Logic and the Foundations of Mathematics …
PDF
Англійська
DRM
€219.13
Lev D. Beklemishev: Aspects of Inductive Logic
Aspects of Inductive Logic …
PDF
Англійська
DRM
€219.13
Lev D. Beklemishev: Deductive Theory of Space and Time
A Deductive Theory of Space and Time …
PDF
Англійська
DRM
€218.26
Lev D. Beklemishev: Sets, Models and Recursion Theory
Sets, Models and Recursion Theory …
PDF
Англійська
DRM
€218.55
Lev D. Beklemishev: Elements of Mathematical Logic
Elements of Mathematical Logic …
PDF
Англійська
DRM
€218.92
Lev D. Beklemishev: Problems in the Philosophy of Science
Problems in the Philosophy of Science …
PDF
Англійська
DRM
€218.92
Lev D. Beklemishev: Contributions to Mathematical Logic
Contributions to Mathematical Logic …
PDF
Англійська
DRM
€219.29
Lev D. Beklemishev: Problem of Inductive Logic
The Problem of Inductive Logic …
PDF
Англійська
DRM
€219.13
Lev D. Beklemishev: Logic, Methodology and Philosophy of Science III
Logic, Methodology and Philosophy of Science III …
PDF
Англійська
DRM
€219.13
Lev D. Beklemishev: Intuitionistic Logic Model Theory and Forcing
Intuitionistic Logic Model Theory and Forcing …
PDF
Англійська
DRM
€217.64
Lev D. Beklemishev: Collected Papers of Gerhard Gentzen
The Collected Papers of Gerhard Gentzen …
PDF
Англійська
DRM
€218.92
Lev D. Beklemishev: Constructible Sets with Applications
Constructible Sets with Applications …
PDF
Англійська
DRM
€218.02
Lev D. Beklemishev & Daniil V. Musatov: Computer Science — Theory and Applications
This book constitutes the proceedings of the 10th International Computer Science Symposium in Russia, CSR 2015, held in Listvyanka, Russia, in July 2015.The 25 full papers presented in this volume we …
PDF
Англійська
DRM
€57.94
Lev D. Beklemishev & Ruy de Queiroz: Logic, Language, Information, and Computation
This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, Wo LLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full pa …
PDF
Англійська
DRM
€57.91
Lev D. Beklemishev: Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities
Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities …
PDF
Англійська
DRM
€218.92
