Autore: Lev D. Beklemishev

Supporto

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