-
Handbook of proof theoryVrsta gradiva - knjigaZaložništvo in izdelava - Amsterdam [etc.] : Elsevier, 1998Jezik - angleškiISBN - 0-444-89840-9COBISS.SI-ID - 8270425
Drugi avtorji
Buss, Samuel R.
Teme
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 za logično programiranje |
tipi v logiki, matematiki in programiranju |
sequent calculus |
cut elimination |
natural deduction |
proof theory in arithmetic |
recursive functions |
Gödel's dialectical interpretation |
realizibility |
lengths of proofs |
logic of provability |
proof-theoretic framework for logic programming |
types in logic, mathematic and programmming
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Knjižnica/institucija |
Kraj | Akronim | Za izposojo | Druga zaloga |
---|---|---|---|---|
FMF in IMFM, Matematična knjižnica, Ljubljana | Ljubljana | MAKLJ |
na dom 1 izv.
|
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.