• LOGIN
    Login with username and password
Repository logo

BORIS Portal

Bern Open Repository and Information System

  • Publications
  • Theses
  • Research Data
  • Projects
  • Organizations
  • Researchers
  • More
  • Collections
  • Statistics
  • LOGIN
    Login with username and password
Repository logo
Unibern.ch
  1. Home
  2. Publications
  3. Proof Theory for Admissible Rules

Proof Theory for Admissible Rules

Details
Publisher DOI
10.1016/j.apal.2008.10.011
Date Issued
2009
Publication Type
Article
Language(s)
en
Author(s)
Iemhoff, Rosalie
Metcalfe, George  
Mathematisches Institut (MAI)  
Additional Credits
Mathematisches Institut (MAI)  
Journal
Annals of pure and applied logic
Publisher
Elsevier
ISSN
0168-0072
Access(Rights)
metadata.only
Show full item
BORIS Portal
Bern Open Repository and Information System
Build: 24f0a9 [ 4.09. 8:55]
Explore
  • Projects
  • Funding
  • Publications
  • Research Data
  • Organizations
  • Researchers
  • Audiovisual Material
  • Software & other digital items
  • Events
More
  • About BORIS Portal
  • BORIS Portal & Open Science
  • Send Feedback
  • Cookie settings
  • Service Policy
Follow us on
  • Mastodon
  • YouTube
  • LinkedIn
UniBe logo
Repository logo COAR Notify