Handbook of proof theory
| Permalink: | http://skupnikatalog.nsk.hr/Record/fsb.ZAG01000156445 |
|---|---|
| Matična publikacija: | Studies in logic and the foundations of mathematics |
| Ostali autori: | Buss, Samuel R. (Editor) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Amsterdam [etc.] :
Elsevier,
1998.
|
| Nakladnička cjelina: |
Studies in logic and foundations of mathematics ;
Vol. 137 |
| Predmet: |
Fakultet strojarstva i brodogradnje
| Primjerak #1 |
Korištenje u čitaonici |
|---|