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:  
Cancellation laws for polynomial-time p-isolated sets
Annals of Pure and Applied Logic - Tập 56 - Trang 147-172 - 1992
John N. Crossley
The possible turing degree of the nonzero member in a two element degree spectrum
Annals of Pure and Applied Logic - Tập 60 - Trang 1-30 - 1993
Valentina S. Harizanov
Generalizing realizability and Heyting models for constructive set theory
Annals of Pure and Applied Logic - Tập 163 - Trang 175-184 - 2012
Albert Ziegler
Relative elimination of quantifiers for Henselian valued fields
Annals of Pure and Applied Logic - Tập 53 - Trang 51-74 - 1991
Serban A. Basarab
Completeness of S4 with respect to the real line: revisited
Annals of Pure and Applied Logic - Tập 131 - Trang 287-301 - 2005
Guram Bezhanishvili, Mai Gehrke
Game-based notions of locality over finite models
Annals of Pure and Applied Logic - Tập 152 - Trang 3-30 - 2008
Marcelo Arenas, Pablo Barceló, Leonid Libkin
Systems of combinatory logic related to Quine's ‘New Foundations’
Annals of Pure and Applied Logic - Tập 53 - Trang 103-133 - 1991
M.Randall Holmes
Completeness results for memory logics
Annals of Pure and Applied Logic - Tập 163 - Trang 961-972 - 2012
Carlos Areces, Santiago Figueira, Sergio Mera
Combinatorial principles in nonstandard analysis
Annals of Pure and Applied Logic - Tập 119 - Trang 265-293 - 2003
Mauro Di Nasso, Karel Hrbacek
Truth and definite truth
Annals of Pure and Applied Logic - Tập 126 - Trang 49-55 - 2004
Tapani Hyttinen, Gabriel Sandu
Tổng số: 1,217   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10