-
Probleme und Resultate der Wissenschaftstheorie und analytischen Philosophie. Bd. 3, Strukturtypen der LogikStegmüller, Wolfgang ; Varga von Kibéd, MatthiasVrsta gradiva - knjigaZaložništvo in izdelava - Berlin [etc.] : Springer, 1984Jezik - nemškiISBN - 3-540-12210-9; 0-387-12210-9COBISS.SI-ID - 7934041
Avtor
Stegmüller, Wolfgang |
Varga von Kibéd, Matthias
Teme
izjavni vezniki |
kvantifikatorji |
logični računi |
denotacijska semantika |
identiteta |
teorije 1. reda |
kompaktnost |
konsistenca |
nepopolnost |
neodločljivost |
izrek Tarskega |
abstraktna semantika |
sentential connectives |
quantifiers |
logical calculi |
denotational semantics |
identity |
first-order theories |
compactness |
consistency |
incompleteness |
undecidability |
Tarski theorem |
abstract semantics
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Knjižnica | Signatura – lokacija, inventarna št. ... | Status izvoda |
---|---|---|
FMF in IMFM, Matematična knjižnica, Ljubljana | Skladišče-Jadranska 19 4175/3 |
prosto - na dom, čas izposoje: 1 mes. |
![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.