Auteur: Lev D. Beklemishev

Ondersteuning

84 Ebooks door 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
Engels
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
Engels
DRM
€219.63
Lev D. Beklemishev: LOGIC COLLOQUIUM ’69
LOGIC COLLOQUIUM ’69 …
PDF
Engels
DRM
€218.74
Lev D. Beklemishev: Model Theory For Infinitary Logic
Model Theory For Infinitary Logic …
PDF
Engels
DRM
€218.29
Lev D. Beklemishev: Proceedings of the Second Scandinavian Logic Symposium
Proceedings of the Second Scandinavian Logic Symposium …
PDF
Engels
DRM
€218.55
Lev D. Beklemishev: Combinatory Logic
Combinatory Logic …
PDF
Engels
DRM
€219.29
Lev D. Beklemishev: Metamathematics of Algebraic Systems
The Metamathematics of Algebraic Systems …
PDF
Engels
DRM
€218.92
Lev D. Beklemishev: Truth, Syntax and Modality
Truth, Syntax and Modality …
PDF
Engels
DRM
€218.24
Lev D. Beklemishev: Contributions to Non-Standard Analysis
Contributions to Non-Standard Analysis …
PDF
Engels
DRM
€218.92
Lev D. Beklemishev: Theory of Semisets
The Theory of Semisets …
PDF
Engels
DRM
€219.29
Lev D. Beklemishev: Word Problems
Word Problems …
PDF
Engels
DRM
€217.82
Lev D. Beklemishev: Logic in Algebraic Form
Logic in Algebraic Form …
PDF
Engels
DRM
€218.26
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
Engels
DRM
€217.82
Lev D. Beklemishev: Axiom of Choice
The Axiom of Choice …
PDF
Engels
DRM
€218.74
Lev D. Beklemishev: Set Theory
Set Theory …
PDF
Engels
DRM
€219.87
Lev D. Beklemishev: Elementary Induction on Abstract Structures
Elementary Induction on Abstract Structures …
PDF
Engels
DRM
€219.00
Lev D. Beklemishev: Algebraic Approach to Non-Classical Logics
An Algebraic Approach to Non-Classical Logics …
PDF
Engels
DRM
€219.00
Lev D. Beklemishev: Generalized Recursion Theory
Generalized Recursion Theory …
PDF
Engels
DRM
€218.02
Lev D. Beklemishev: Large Infinitary Languages
Large Infinitary Languages …
PDF
Engels
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
Engels
DRM
€218.24
Lev D. Beklemishev: SET THEORY
SET THEORY …
PDF
Engels
DRM
€217.53
Lev D. Beklemishev: Logic Colloquium 76, Proceedings of a conference
Logic Colloquium 76, Proceedings of a conference …
PDF
Engels
DRM
€217.84
Lev D. Beklemishev: Algebra of Proofs
Algebra of Proofs …
PDF
Engels
DRM
€216.93
Lev D. Beklemishev: Non-Classical Logics, Model Theory, And Computability
Non-Classical Logics, Model Theory, And Computability …
PDF
Engels
DRM
€218.26
Lev D. Beklemishev: Combinatorial Set Theory
Combinatorial Set Theory …
PDF
Engels
DRM
€219.23
Lev D. Beklemishev: Foundational Studies Selected Works
Foundational Studies Selected Works …
PDF
Engels
DRM
€217.69
Lev D. Beklemishev: Foundational Studies
Foundational Studies …
PDF
Engels
DRM
€219.29
Lev D. Beklemishev: Generalized Recursion Theory II
Generalized Recursion Theory II …
PDF
Engels
DRM
€219.23
Lev D. Beklemishev: WORD PROBLEMS II
WORD PROBLEMS II …
PDF
Engels
DRM
€219.00
Lev D. Beklemishev: Logic Colloquium ’77
Logic Colloquium ’77 …
PDF
Engels
DRM
€217.58
Lev D. Beklemishev: Logic Colloquium ’78, Proceedings of the colloquium held in Mons
Logic Colloquium ’78, Proceedings of the colloquium held in Mons …
PDF
Engels
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
Engels
DRM
€217.53
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€218.29
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€218.69
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€217.84
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€217.58
Lev D. Beklemishev: Sentences Undecidable in Formalized Arithmetic
Sentences Undecidable in Formalized Arithmetic …
PDF
Engels
DRM
€219.23
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€218.26
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€219.23
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€219.23
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€218.29
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€218.26
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€219.29
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€218.26
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€218.55
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
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
Engels
DRM
€218.82
Lev D. Beklemishev: Axiomatic Set Theory
Axiomatic Set Theory …
PDF
Engels
DRM
€217.66
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€217.82
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€219.29
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€217.69
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€219.23
Lev D. Beklemishev: Computer Programming and Formal Systems
Computer Programming and Formal Systems …
PDF
Engels
DRM
€219.13
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€218.26
Lev D. Beklemishev: Lincos
Lincos …
PDF
Engels
DRM
€218.26
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€219.63
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€217.82
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€218.24
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
DRM
€219.63
Lev D. Beklemishev: Provability, Computability and Reflection
Provability, Computability and Reflection …
PDF
Engels
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
Engels
DRM
€217.84
Lev D. Beklemishev: Computer Programming and Formal Systems
Computer Programming and Formal Systems …
PDF
Engels
DRM
€219.87
Lev D. Beklemishev: Languages with Expressions of Infinite Length
Languages with Expressions of Infinite Length …
PDF
Engels
DRM
€217.82
Lev D. Beklemishev: Transfinite Type Theory with Type Variables
A Transfinite Type Theory with Type Variables …
PDF
Engels
DRM
€217.58
Lev D. Beklemishev: Introduction to the Theory of Finite Automata
Introduction to the Theory of Finite Automata …
PDF
Engels
DRM
€218.49
Lev D. Beklemishev: Foundations of Intuitionistic Mathematics
The Foundations of Intuitionistic Mathematics …
PDF
Engels
DRM
€218.92
Lev D. Beklemishev: Formal Systems and Recursive Functions
Formal Systems and Recursive Functions …
PDF
Engels
DRM
€217.69
Lev D. Beklemishev: Studies in Logic and the Foundations of Mathematics
Studies in Logic and the Foundations of Mathematics …
PDF
Engels
DRM
€219.13
Lev D. Beklemishev: Aspects of Inductive Logic
Aspects of Inductive Logic …
PDF
Engels
DRM
€219.13
Lev D. Beklemishev: Deductive Theory of Space and Time
A Deductive Theory of Space and Time …
PDF
Engels
DRM
€218.26
Lev D. Beklemishev: Sets, Models and Recursion Theory
Sets, Models and Recursion Theory …
PDF
Engels
DRM
€218.55
Lev D. Beklemishev: Elements of Mathematical Logic
Elements of Mathematical Logic …
PDF
Engels
DRM
€218.92
Lev D. Beklemishev: Problems in the Philosophy of Science
Problems in the Philosophy of Science …
PDF
Engels
DRM
€218.92
Lev D. Beklemishev: Contributions to Mathematical Logic
Contributions to Mathematical Logic …
PDF
Engels
DRM
€219.29
Lev D. Beklemishev: Problem of Inductive Logic
The Problem of Inductive Logic …
PDF
Engels
DRM
€219.13
Lev D. Beklemishev: Logic, Methodology and Philosophy of Science III
Logic, Methodology and Philosophy of Science III …
PDF
Engels
DRM
€219.13
Lev D. Beklemishev: SET THEORY
SET THEORY …
PDF
Engels
DRM
€217.53
Lev D. Beklemishev: Intuitionistic Logic Model Theory and Forcing
Intuitionistic Logic Model Theory and Forcing …
PDF
Engels
DRM
€217.64
Lev D. Beklemishev: Collected Papers of Gerhard Gentzen
The Collected Papers of Gerhard Gentzen …
PDF
Engels
DRM
€218.92
Lev D. Beklemishev: Constructive Order Types
Constructive Order Types …
PDF
Engels
DRM
€218.49
Lev D. Beklemishev: Constructible Sets with Applications
Constructible Sets with Applications …
PDF
Engels
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
Engels
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
Engels
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
Engels
DRM
€218.92