Metodi tableaux per la logica classica e modale / (Record no. 139853)
[ view plain ]
| 000 -Leader | |
|---|---|
| Leader | 00805nam a2200253 i 4500 |
| 001 - Numero di controllo | |
| Numero di controllo | 139853 |
| 003 - Identificatore del numero di controllo | |
| Identificatore del numero di controllo | IT-RoAPU |
| 005 - Data e orario dell'ultima transazione | |
| Data e orario dell'ultima transazione | 20241126210013.0 |
| 008 - Elementi di lunghezza fissa--Informazione generale | |
| Elementi di lunghezza fissa--Informazione generale | 100327s1995 it f |000 u ita d |
| 020 ## - International Standard Book Number | |
| ISBN (International Standard Book Number) | 8880912879 |
| 040 ## - Fonte della catalogazione | |
| Agenzia catalografica originale | IT-RoAPU |
| Lingua della catalogazione | ita |
| Agenzia che fa la trascrizione | IT-RoAPU |
| 084 ## - Numero d’altra classificazione | |
| Numero di classificazione | QA 76.9.A96.A86 |
| 100 1# - Accesso principale -- nome di persona | |
| Nome di persona | Artosi, Alberto, |
| Date associate al nome | 1951- |
| Real World Object URI | http://viaf.org/viaf/223759258 |
| 9 (RLIN) | 60391 |
| 245 10 - Formulazione del titolo | |
| Titolo | Metodi tableaux per la logica classica e modale / |
| Formulazioni di responsabilità, ecc. | Alberto Artosi. |
| 260 ## - Pubblicazione, distribuzione, ecc. (stampa) | |
| Luogo di pubblicazione, distribuzione, ecc. | Bologna : |
| Nome dell'editore, distributore, ecc. | CLUEB, |
| Data di pubblicazione, distribuzione, ecc. | 1995. |
| 300 ## - Descrizione fisica | |
| Estensione | 165 p. ; |
| Dimensioni | 22 cm. |
| 490 1# - Formulazione della serie | |
| Formulazione della serie | Miscellanea del CIRFID ; |
| Numero del volume/designazione di sequenza | 010 |
| 504 ## - Nota di bibliografia, ecc. | |
| Nota di bibliografia, ecc. | Bibliografia: p. 161-165. |
| 650 #7 - Accesso aggiunto di soggetto--termine topico | |
| Termine topico o nome geografico come accesso | Logica simbolica |
| Fonte dell'intestazione o del termine | sbaa |
| 9 (RLIN) | 213644 |
| 650 #7 - Accesso aggiunto di soggetto--termine topico | |
| Termine topico o nome geografico come accesso | Logica matematica |
| Suddivisione formale | Manuali |
| Fonte dell'intestazione o del termine | sbaa |
| 9 (RLIN) | 218177 |
| 830 #0 - Accesso aggiunto di serie--titolo uniforme | |
| Titolo uniforme | Miscellanea del CIRFID |
| Numero del volume/designazione di sequenza | 010 |
| 9 (RLIN) | 278821 |
| 850 ## - Istituzione possedente | |
| Istituzione possedente | IT-RoAPU |
| 942 ## - Dati aggiuntivi (Koha) | |
| Tipo copia default (Koha) | Opera (Magaz.) |
| Numero prestiti (tutte le copie) | 0 |
| Ritirato (status) | Perso (status) | Fonte class. o schema coll. | Danneggiato (status) | Non per il presito | Biblioteca proprietaria | Biblioteca in cui si trova | Localizzazione | Data acquisto | Numero di inventario | Collocazione | Codice a barre | Data ultima operazione | Prezzo effettivo | Tipo copia |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Non ritirata | Non persa | Classificazione Angelicum | Non danneggiata | Per il prestito | Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino | Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino | Magazzino | 29/03/2010 | 553248 | QA 76.9.A96.A86 | 0030151625 | 15/11/2013 | 15/11/2013 | Opera (Magaz.) |