Google圖書搜尋

Provability, Computability and Reflection

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080957357 / 0080957358
主題	Computers

LOGIC COLLOQUIUM '69

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080954745 / 008095474X
主題	Computers

Studies in Logic and the Foundations of Mathematic...

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080957623 / 0080957625
主題	Computers

Formal Systems and Recursive Functions

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080957609 / 0080957609
主題	Computers

Intuitionism and Proof Theory: Proceedings of the ...

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080954738 / 0080954731
主題	Computers

Logic in Algebraic Form

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080954837 / 0080954839
主題	Computers

Word Problems

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080954820 / 0080954820
主題	Computers

Languages with Expressions of Infinite Length

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080957562 / 0080957560
主題	Mathematics

Combinatory Logic

作者	Lev D. Beklemishev
出版	Elsevier, 2009-06-17
ISBN	9780080954776 / 0080954774
主題	Mathematics

The Foundations of Intuitionistic Mathematics

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080957593 / 0080957595
主題	Mathematics

Algebra of Proofs

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080954974 / 0080954979
主題	Computers

WORD PROBLEMS II

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080955032 / 0080955037
主題	Computers

Proof Theory

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080954912 / 008095491X
主題	Computers

A Deductive Theory of Space and Time

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080957647 / 0080957641
主題	Mathematics

Contributions to Non-Standard Analysis

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080954806 / 0080954804
主題	Computers

Non-Classical Logics, Model Theory, And Computabil...

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080954981 / 0080954987
主題	Computers

Sentences Undecidable in Formalized Arithmetic

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080957302 / 0080957307
主題	Computers

Truth, Syntax and Modality

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080954790 / 0080954790
主題	Computers

Contributions to Mathematical Logic

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080957692 / 0080957692
主題	Computers

Foundational Studies Selected Works

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080955001 / 0080955002
主題	Computers

Mathematical Logic in Latin America, Proceedings o...

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080955070 / 008095507X
主題	Mathematics

Proceedings of the Fourth International Congress f...

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080954844 / 0080954847
主題	Computers

The Metamathematics of Algebraic Systems

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080954783 / 0080954782
主題	Computers

Sets and Classes on The Work by Paul Bernays

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080954943 / 0080954944
主題	Computers

Intuitionism An Introduction

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080957616 / 0080957617
主題	Computers

The Theory of Semisets

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080954813 / 0080954812
主題	Computers

Axiomatic Set Theory

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080957418 / 0080957412
主題	Computers

Provability, Computability and Reflection

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	0080957463 / 9780080957463
主題	Mathematics

Model Theory For Infinitary Logic

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080954752 / 0080954758
主題	Mathematics

The Collected Papers of Gerhard Gentzen

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080957746 / 0080957749
主題	Mathematics