海量图书期刊资源,随时随地畅享阅读乐趣
Rapid Solidification Via Melt Spinning: Equipment and TechniquesRobert W. Jech,Thomas J. Moore,Thomas K. Glasgow,Norman W. Orth · JOM · 1984
Large OrdinalsThomas Jech · Advances in Mathematics · 1997
Forcing with trees and ordinal definabilityThomas J. Jech · 1975
Some examples of precipitous idealsThomas J. Jech; William J. Mitchell · 1983
Semi-Cohen Boolean algebrasBohuslav Balcar; Thomas Jech; Jindřich Zapletal · 1997
Some combinatorial problems concerning uncountable cardinalsThomas J. Jech · 1973
A note on countable Boolean algebrasThomas Jech · Algebra Universalis · 1982
Simple complete Boolean algebrasThomas J. Jech · 1974
Computability and λ-DefinabilityA. M. Turing · The Journal of Symbolic Logic · 1937
Definability and Decision Problems in ArithmeticJulia Robinson · The Journal of Symbolic Logic · 1949
Arithmetical Problems and Recursively Enumerable PredicatesMartin Davis · The Journal of Symbolic Logic · 1953
The Interpretability Logic of Peano ArithmeticAlessandro Berarducci · The Journal of Symbolic Logic · 1990
Steps Toward a Constructive NominalismNelson Goodman and W. V. Quine · The Journal of Symbolic Logic · 1947
A Completeness Theorem in Modal LogicSaul A. Kripke · The Journal of Symbolic Logic · 1959
Models and RealityHilary Putnam · The Journal of Symbolic Logic · 1980
A Theory of Restricted Quantification ITheodore Hailperin · The Journal of Symbolic Logic · 1957