Annals of Pure and Applied Logic

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Relating the bounded arithmetic and polynomial time hierarchies
Annals of Pure and Applied Logic - Tập 75 - Trang 67-77 - 1995
Samuel R. Buss
Nullifying randomness and genericity using symmetric difference
Annals of Pure and Applied Logic - Tập 168 - Trang 1692-1699 - 2017
Rutger Kuyper, Joseph S. Miller
Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators
Annals of Pure and Applied Logic - Tập 162 - Trang 107-143 - 2010
Toshiyasu Arai
Uncountable degree spectra
Annals of Pure and Applied Logic - Tập 54 - Trang 255-263 - 1991
Valentina S. Harizanov
Zilber's conjecture for some o-minimal structures over the reals
Annals of Pure and Applied Logic - Tập 61 - Trang 223-239 - 1993
Ya'acov Peterzil
Countable algebra and set existence axioms
Annals of Pure and Applied Logic - Tập 25 Số 2 - Trang 141-181 - 1983
Existence of many L∞,λ-equivalent, non- isomorphic models of T of power λ
Annals of Pure and Applied Logic - Tập 34 - Trang 291-310 - 1987
Saharon Shelah
Interpreting structures of finite Morley Rank in strongly minimal sets
Annals of Pure and Applied Logic - Tập 145 - Trang 96-114 - 2007
Assaf Hasson
Strong conceptual completeness for first-order logic
Annals of Pure and Applied Logic - Tập 40 - Trang 167-215 - 1988
Michael Makkai
Continuous L-domains in logical form
Annals of Pure and Applied Logic - Tập 172 - Trang 102993 - 2021
Longchun Wang, Qingguo Li, Xiangnan Zhou
Tổng số: 1,217   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10