Mathematical Logic Quarterly

• 

  Año 2002, Vol. 48, Número 1

  • Seleccionado

    Update Procedures and the 1-Consistency of Arithmetic

    J. Avigad

    págs. 3-14

    
  • Seleccionado

    Incompleteness and Fixed Points

    L. Sacchetti

    págs. 15-28

    
  • Seleccionado

    Invariant Logics

    M. Kracht

    págs. 29-50

    
  • Seleccionado

    Investigations on Fragments of First Order Branching Temporal Logic

    G. M. Pinna, E. P. B. Tiezzi, F. Montagna

    págs. 51-62

    
  • Seleccionado

    Finite Models of Some Substructural Logics

    W. Buszkowski

    págs. 63-72

    
  • Seleccionado

    Factors of Functions, AC and Recursive Analogues

    W. Degen

    págs. 73-86

    
  • Seleccionado

    Dual-Context Sequent Calculus and Strict Implication

    K. Kikuchi

    págs. 87-92

    
  • Seleccionado

    Plain Bases for Classes of Primitive Recursive Functions

    S. Mazzanti

    págs. 93-104

    
  • Seleccionado

    Heterologicality and Incompleteness

    C. Cieslinski

    págs. 105-110

    
  • Seleccionado

    Omniscience Principles and Functions of Bounded Variation

    F. Richmann

    págs. 111-116

    
  • Seleccionado

    The Computational Power of M^o^m^e^g^a

    C. Rordam, D. Normann

    págs. 117-124

    
  • Seleccionado

    On the Slowly Well Orderedness of epsilon~0

    T. Arai

    págs. 125-130

    
  • Seleccionado

    A nonlow~2 R.E. Degree with the Extension of Embeddings Properties of a low~2 Degree

    Y. Yang, R. A. Shore

    págs. 131-146

    
  • Seleccionado

    Comparing First Order Theories of Modules over Group Rings

    S. Cittadini, Carlo Toffalori

    págs. 147-156

    
  • Seleccionado

    Weak Arithmetics and Kripke Models

    Morteza Moniri

    págs. 157-160