Mathematical Logic Quarterly

• 

  Año 2003, Vol. 49, Número 5

  • Seleccionado

    Translations from natural deduction to sequent calculus

    J. Von Plato

    pág. 435

    
  • Seleccionado

    Choice principles for special subsets of the real line

    pág. 444

    
  • Seleccionado

    Choice principles from special subsets of the real line

    E. Tachtsis, K. Keremedis

    pág. 444

    
  • Seleccionado

    Metric spaces and tze axiom of choice

    E. Hall, Omar de la Cruz Vicente, Paul Howard

    pág. 455

    
  • Seleccionado

    Metric spaces and the axiom of choice

    Omar de la Cruz Vicente, Kyriakos Keremedis

    pág. 455

    
  • Seleccionado

    Sequent systems for compact bilinear logic

    W. Buszkowski

    pág. 467

    
  • Seleccionado

    Some remarks on indiscernible sequences

    Enrique Casanovas Ruiz-Fornells

    pág. 475

    
  • Seleccionado

    Some results on Kripke models over an arbitrary fixed frame

    S. M. Bagheri

    pág. 479

    
  • Seleccionado

    Computable choice functions for computable linear orderings

    pág. 485

    
  • Seleccionado

    On the regular extension axiom and its variants

    Robert S. Lubarsky, Michael Rathjen

    pág. 511

    
  • Seleccionado

    A note on dual-intuitionistic logic

    Norihiro Kamide

    pág. 519

    
  • Seleccionado

    New sequent calculi for Visser's Formal Propositional Logic

    K. Ishii

    pág. 525

    
  • Seleccionado

    Pf ≠ NPf for almost all f

    Philip D. Welch, Joel David Hamkins

    pág. 536

    
  • Seleccionado

    P^f NP^f for almost all f

    J. D. Hamkins

    pág. 536