-
Handbook of proof theoryType of material - proceedings ; adult, seriousPublication and manufacture - Amsterdam [etc.] : Elsevier, 1998Language - englishISBN - 0-444-89840-9COBISS.SI-ID - 8270425
Other authors
Buss, Samuel R.
Topics
sekvenčni račun |
odpravljivost reza |
naravna dedukcija |
teorija dokaza v aritmetiki |
rekurzivne funkcije |
Gödlova dialektična interpretacija |
realizabilnost |
logika dokazljivosti |
dolžine dokazov |
teorija dokaza |
logično programiranje |
proof theory |
sequent calculus |
cut elimination |
natural deduction |
proof theory in arithmetic |
recursive functions |
Gödel's dialectical interpretation |
realizibility |
lengths of proofs |
logic of provability |
logic programming
Library/institution |
City | Acronym | For loan | Other holdings |
---|---|---|---|---|
FMF and IMFM, Mathematical Library, Ljubljana | Ljubljana | MAKLJ |
outside loan 1 cop.
|
Shelf entry
Permalink
- URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year | Impact factor | Edition | Category | Classification | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Select the library membership card:
DRS, in which the journal is indexed
Database name | Field | Year |
---|
Links to authors' personal bibliographies | Links to information on researchers in the SICRIS system |
---|---|
Buss, Samuel R. |
Select pickup location:
Material pickup by post
Notification
Subject headings in COBISS General List of Subject Headings
Select pickup location
Pickup location | Material status | Reservation |
---|
Please wait a moment.