close
1.

図書
図書
1. Model theory for modal logic : Kripke models for modal predicate calculi
Kenneth A. Bowen
出版情報: Dordrecht, Holland : D. Reidel Pub. Co., c1979  x, 127 p. ; 23 cm
シリーズ名: Synthese library ; v. 127
所蔵情報: loading…
2.

図書
図書
2. Two papers on the predicate calculus
by S.C. Kleene
出版情報: Providence, R.I. : American Mathematical Society, 1952  68 p. ; 26 cm
シリーズ名: Memoirs of the American Mathematical Society ; no. 10
所蔵情報: loading…
目次情報:
Permutability of inferences in Gentzen's calculi L̲K̲ and L̲J
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols
Permutability of inferences in Gentzen's calculi L̲K̲ and L̲J
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols
3.

図書
図書
3. Subsystems of second order arithmetic (: hard)
Stephen G. Simpson
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999  xiv, 444 p. ; 25 cm
シリーズ名: Perspectives in mathematical logic
所蔵情報: loading…
4.

図書
図書
4. The computational complexity of logical theories (: Berlin ; : New York)
Jeanne Ferrante, Charles W. Rackoff
出版情報: Berlin ; New York : Springer-Verlag, 1979  x, 243 p. ; 25 cm
シリーズ名: Lecture notes in mathematics ; 718
所蔵情報: loading…
目次情報: 続きを見る
Theoretical Perspectives on Crime / Part I：
Introduction / Sally S. Simpson ; David Weisburd
Understanding "Criminogenic" Corporate Culture: What White-Collar Crime Researchers Can Learn from Studies of the Adolescent Employment-Crime Relationship / Robert Apel ; Raymond Paternoster
General Strain Theory and White-Collar Crime / Robert Agnew ; Nicole Leeper Piquero ; Francis T. Cullen
Emergent Themes and Methodological Issues / Part II：
Persistent Heterogeneity or State Dependence? An Analysis of Occupational Safety and Health Act Violations / Natalie Schell
White-Collar Crimes and the Fear of Crime: A Review / Michael Levi
The Role of Organizational Structure in the Control of Corporate Crime and Terrorism / Laura Dugan ; Carole Gibbs
Globalization and White-Collar Crime / Peter Grabosky
Developmental Trajectories of White-Collar Crime
Crime Prevention and Control / Part III：
White-Collar Crime from an Opportunity Perspective / Michael L. Benson ; Tamara D. Madensen ; John E. Eck
Self-Regulatory Approaches to White-Collar Crime: The Importance of Legitimacy and Procedural Justice / Tom R. Tyler
Index
Theoretical Perspectives on Crime / Part I：
Introduction / Sally S. Simpson ; David Weisburd
Understanding "Criminogenic" Corporate Culture: What White-Collar Crime Researchers Can Learn from Studies of the Adolescent Employment-Crime Relationship / Robert Apel ; Raymond Paternoster
5.

図書
図書
5. The decision problem : solvable classes of quantificational formulas
Burton Dreben, Warren D. Goldfarb
出版情報: Reading, Mass. : Addison-Wesley, Advanced Book Program, 1979  xii, 271 p. ; 25 cm
所蔵情報: loading…
6.

図書
図書
6. Büchi's monadic second order successor arithmetic
Dirk Siefkes
出版情報: Berlin : Springer-Verlag, 1970  xii, 130 p. ; 26 cm
シリーズ名: Lecture notes in mathematics ; 120
Decidable theories ; 1
所蔵情報: loading…
7.

図書
図書
7. Predicate calculus and program semantics (: us ; : gw)
Edsger W. Dijkstra, Carel S. Scholten
出版情報: New York ; Tokyo : Springer-Verlag, c1990  x, 220 p. ; 25 cm
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼