登入選單
Google圖書搜尋
Cylindric algebras ... [By] Leon Henkin ... J. Don...
作者
Leon Henkin / James Donald MONK / Alfred Tarski
出版1971
ISBN
OCLC:559519157
Cylindric Algebras
作者
Leon Henkin / James Donald Monk / Alfred Tarski
出版1971
ISBN
LCCN:77126903
The theory of models. Proceedings of the 1963 Inte...
作者
John West ADDISON / Leon Henkin / Alfred TARSKI / International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science / Association for Symbolic Logic
出版1965
ISBN
OCLC:559967232
Retracing Elementary Mathematics
作者
Leon Henkin
出版1962
ISBN
UCAL:B4282243
主題
Logic, Symbolic and mathematical
Logical Systems Containing Only a Finite Number of...
作者
Leon Henkin
出版1967
ISBN
UOM:39015036696543
主題
Logic, Symbolic and mathematical
Mathematics
作者
Project 2061 (American Association for the Advancement of Science). Phase I Mathematics Panel / David Blackwell / Leon Henkin / American Association for the Advancement of Science
出版Advancement of Science, 1989
ISBN
UOM:39015019848889
主題
Education
The Axiomatic Method, with Special Reference to Ge...
作者
INTERNATIONAL SYMPOSIUM ON THE AXIOMATIC METHOD. / Leon Henkin / Patrick SUPPES / Alfred Tarski
出版1959
ISBN
OCLC:559965824
Math 125 B
作者
Leon Henkin
出版1963
ISBN
UCBK:C059570837
主題
Predicate calculus
Completeness
作者
Leon Henkin
出版1961
ISBN
OCLC:749359420
The Theory of Models. Proceedings of the 1963 Inte...
作者
John West ADDISON / Leon Henkin / Alfred Tarski / International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science / Association for Symbolic Logic
出版1965
ISBN
OCLC:752812213
Some interconnections between modern algebra and m...
作者
Leon Henkin
出版1953
ISBN
OCLC:1069083318
On a theorem of Vaught
作者
Leon Henkin
出版1955
ISBN
OCLC:1071574101
Cylindric Algebras
作者
Leon Henkin / James Donald Monk / Alfred Tarski
出版North Holland, 1971
ISBN
UCSC:32106011083414
主題
Computers
On the primitive symbols of Quine's "Mathematical ...
作者
Leon Henkin
出版1953
ISBN
OCLC:1072398880
Cylindric Set Algebras
作者
Leon Henkin / H. Andréka
出版Springer, 1981
ISBN
UCSD:31822010295004
主題
Mathematics
Proceedings of the Tarski Symposium
作者
Leon Henkin
出版1974
ISBN
OCLC:505356188
Truth and Provability
作者
Leon Henkin
出版1961
ISBN
OCLC:749359444
Mathematics 125A (mathematical Logic), Fall Semest...
作者
Erwin Engeler / Leon Henkin
出版1962*
ISBN
OCLC:54250258
Some notes on nominalism
作者
Leon Henkin
出版1953
ISBN
OCLC:1071666646
Cylindric Algebras
作者
Leon Henkin / James Donald Monk
出版1971
ISBN
LCCN:77126903
主題
Cylindric algebras
Mathematical Induction
作者
Mathematical Induction / Mathematical Association of America
ISBN
OCLC:123773049
Mathematics 15, Spring Quarter 1968
作者
Leon Henkin / Arthur Kessner
出版1968*
ISBN
OCLC:22132617
主題
Arithmetic
Fragments of the propositional calculus
作者
Leon Henkin
出版1949
ISBN
OCLC:1072043983
˜Anœ algebraic characterization of quantifiers
作者
Leon Henkin
出版1950
ISBN
OCLC:1069151836
Two concepts from the theory of models
作者
Leon Henkin
出版1956
ISBN
OCLC:1071616366
Banishing the rule of substitution for functional ...
作者
Leon Henkin
出版1953
ISBN
OCLC:1070858196
Mathematics
作者
Project 2061 (American Association for the Advancement of Science) / David Blackwell / Leon Henkin
出版1989
ISBN
OCLC:19125560
主題
Mathematics
Retracing Elementary Athematics
作者
Leon Henkin
出版1962
ISBN
OCLC:30225897
Cylindric Algebras
作者
Leon Henkin
出版1971
ISBN
LCCN:77126903
主題
Cylindric algebras
˜Theœ representation theorem for cylindrical algeb...
作者
Leon Henkin
出版1955
ISBN
OCLC:1071531415