Provability, Computability...

Studies in Logic and the Foundations of Mathematics (Series)

Book 34

Lev D. Beklemishev Author
(2000)

Computer Programming and...

Studies in Logic and the Foundations of Mathematics (Series)

Book 35

Lev D. Beklemishev Author
(2000)

Languages with Expressions of...

Studies in Logic and the Foundations of Mathematics (Series)

Book 36

Lev D. Beklemishev Author
(2000)

A Transfinite Type Theory...

Studies in Logic and the Foundations of Mathematics (Series)

Book 37

Lev D. Beklemishev Author
(2000)

Introduction to the Theory of...

Studies in Logic and the Foundations of Mathematics (Series)

Book 38

Lev D. Beklemishev Author
(2000)

The Foundations of...

Studies in Logic and the Foundations of Mathematics (Series)

Book 39

Lev D. Beklemishev Author
(2000)

Problems in the Philosophy of...

Studies in Logic and the Foundations of Mathematics (Series)

Book 49

Lev D. Beklemishev Author
(2000)

Contributions to Mathematical...

Studies in Logic and the Foundations of Mathematics (Series)

Book 50

Lev D. Beklemishev Author
(2000)

The Problem of Inductive Logic

Studies in Logic and the Foundations of Mathematics (Series)

Book 51

Lev D. Beklemishev Author
(2000)

Logic, Methodology and...

Studies in Logic and the Foundations of Mathematics (Series)

Book 52

Lev D. Beklemishev Author
(2000)

SET THEORY

Studies in Logic and the Foundations of Mathematics (Series)

Book 53

Lev D. Beklemishev Author
(2000)

Intuitionistic Logic Model...

Studies in Logic and the Foundations of Mathematics (Series)

Book 54

Lev D. Beklemishev Author
(2000)

The Collected Papers of...

Studies in Logic and the Foundations of Mathematics (Series)

Book 55

Lev D. Beklemishev Author
(2000)

Constructive Order Types

Studies in Logic and the Foundations of Mathematics (Series)

Book 56

Lev D. Beklemishev Author
(2000)

Constructible Sets with...

Studies in Logic and the Foundations of Mathematics (Series)

Book 57

Lev D. Beklemishev Author
(2000)

The Theory of Semisets

Studies in Logic and the Foundations of Mathematics (Series)

Book 70

Lev D. Beklemishev Author
(2000)

Word Problems

Studies in Logic and the Foundations of Mathematics (Series)

Book 71

Lev D. Beklemishev Author
(2000)

Logic in Algebraic Form

Studies in Logic and the Foundations of Mathematics (Series)

Book 72

Lev D. Beklemishev Author
(2000)

Proceedings of the Fourth...

Studies in Logic and the Foundations of Mathematics (Series)

Book 74

Lev D. Beklemishev Author
(2000)

The Axiom of Choice

Studies in Logic and the Foundations of Mathematics (Series)

Book 75

Lev D. Beklemishev Author
(2000)

Set Theory

Studies in Logic and the Foundations of Mathematics (Series)

Book 76

Lev D. Beklemishev Author
(2000)

Elementary Induction on...

Studies in Logic and the Foundations of Mathematics (Series)

Book 77

Lev D. Beklemishev Author
(2000)

An Algebraic Approach to...

Studies in Logic and the Foundations of Mathematics (Series)

Book 78

Lev D. Beklemishev Author
(2000)

Generalized Recursion Theory

Studies in Logic and the Foundations of Mathematics (Series)

Book 79

Lev D. Beklemishev Author
(2000)

Generalized Recursion Theory II

Studies in Logic and the Foundations of Mathematics (Series)

Book 94

Lev D. Beklemishev Author
(2000)

WORD PROBLEMS II

Studies in Logic and the Foundations of Mathematics (Series)

Book 95

Lev D. Beklemishev Author
(2000)

Logic Colloquium '77

Studies in Logic and the Foundations of Mathematics (Series)

Book 96

Lev D. Beklemishev Author
(2000)

Logic Colloquium '78,...

Studies in Logic and the Foundations of Mathematics (Series)

Book 97

Lev D. Beklemishev Author
(2000)

Mathematical Logic in Latin...

Studies in Logic and the Foundations of Mathematics (Series)

Book 99

Lev D. Beklemishev Author
(2000)

Provability, Computability...

Lev D. Beklemishev Author
(2000)

Constructivism in Mathematics...

Studies in Logic and the Foundations of Mathematics (Series)

Book 121

A.S. Troelstra Author
D. van Dalen Author
(1988)

Foundational Studies Selected...

Studies in Logic and the Foundations of Mathematics (Series)

Book 93A

Lev D. Beklemishev Author
(2000)

Foundational Studies

Studies in Logic and the Foundations of Mathematics (Series)

Book 93B

Lev D. Beklemishev Author
(2000)

Reactions in the Solid State

Comprehensive Chemical Kinetics (Series)

Book 22

Michael E. Brown Editor
D. Dollimore Editor
(1980)

Regional Geology and Tectonics

Regional Geology and Tectonics (Series)

David G. Roberts Editor
(2012)

Reproductive and Hormonal...

Handbook of Systemic Autoimmune Diseases (Series)

Book 4

Michael Lockshin Editor
Ware Branch Editor
(2005)

Semiconductor Industrial...

David G. Baldwin Author
Paul C. Manz Author
(1995)

Spectral Theory of Random...

Studies in Logic and the Foundations of Mathematics (Series)

Vyacheslav L. Girko Author
(1951)

Spectral Theory of Random...

Studies in Logic and the Foundations of Mathematics (Series)

Vyacheslav L. Girko Author
(1951)

Strategies and Tactics in...

Strategies and Tactics in Organic Synthesis (Series)

Michael Harmata Editor
(2004)

The Prefrontal Cortex

Progress in Brain Research (Series)

Book 85

J.P.C. de Bruin Editor
M.A. Corner Editor
(1991)

The Self-Organizing Brain

Progress in Brain Research (Series)

Book 102

M.A. Corner Editor
F.H. Lopes da Silva Editor
(1994)

The Visually Responsive Neuron

Progress in Brain Research (Series)

Book 95

T.P. Hicks Editor
S. Molotchnikoff Editor
(1993)

Zeolites and Related...

Studies in Surface Science and Catalysis (Series)

Antoine Gedeon Editor
Pascale Massiani Editor
(2008)

Modern Engineering...

Robert Balmer Author
(2010)

Encyclopedia of Forensic...

Max M. Houck Other
(2022)

Advances in Clinical...

Gregory S. Makowski Editor
(2022)

The Psychology of Learning...

Kara D. Federmeier Editor
(2022)

Hydrological Drought

Lena M. Tallaksen Editor
Henny A.J. van Lanen Editor
(2023)

Basic Life Science Methods

Javeed Ahmad Tantray Author
Nighat Un Nissa Author
(2022)