Skip to content
Find a Library
Browse Collections
Apps
Libby Blog
Search by title or author
Browse Collections
Apps
Libby Blog
Find a Library
Media
Browse the Catalog
Sort
Relevance
Title
Release date
Popularity
Filter
Release date
Previous releases
0
Previous releases
87
Publisher
Elsevier Science
85
Springer International Publishing
2
Format
OverDrive READ
87
Adobe PDF eBook
85
Adobe EPUB eBook
2
Subjects
Computer Technology
87
Nonfiction
87
Mathematics
86
Creators
Lev D. Beklemishev
87
Andreas Blass
1
Bernd Finkbeiner
1
Daniil V. Musatov
1
Nachum Dershowitz
1
Wolfram Schulte
1
Looking for a library? Show libraries matching your search.
Page 1 of 4
Showing 1 - 24 of 87
Next
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)
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)