The nuts and bolts of proofs
| LEADER | cam a22 4500 | ||
|---|---|---|---|
| 001 | 528992090 | ||
| 003 | CHVBK | ||
| 005 | 20201017113535.0 | ||
| 006 | m d | ||
| 007 | cr |n |||||||| | ||
| 008 | 180926s2005 ne a sb 001 0 eng d | ||
| 010 | |a 2005296426 | ||
| 020 | |a 978-0-12-088509-1 (acidfree paper) | ||
| 020 | |a 0-12-088509-3 (acidfree paper) | ||
| 035 | |a (SERSOL)ssj0000213161 | ||
| 035 | |a (NEBIS)009835399 | ||
| 035 | |a (WaSeSS)ssj0000213161 | ||
| 040 | |a DLC |c DLC |d DLC |d WaSeSS | ||
| 050 | 0 | 0 | |a QA9.54 |b .C86 2005 |
| 082 | 0 | 0 | |a 511.3/6 |2 22 |
| 100 | 1 | |a Cupillari |D Antonella | |
| 245 | 1 | 4 | |a The nuts and bolts of proofs |h [Elektronische Daten] |c Antonella Cupillari |
| 250 | |a 3rd ed. | ||
| 260 | |a Amsterdam |a Boston |b Elsevier Academic Press |c c2005 | ||
| 300 | |a 1 online resource (xii, 179 p.) |b ill | ||
| 504 | |a Includes bibliographical references (p. 173-176) and index. | ||
| 506 | |a Lizenzbedingungen können den Zugang einschränken. License restrictions may limit access. | ||
| 650 | 0 | |a Proof theory | |
| 650 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd | |
| 650 | 7 | |a AUFGABENSAMMLUNGEN + ARBEITSBÜCHER (DOKUMENTENTYP) |x ger |0 (ETHUDK)000000100 |2 ethudk | |
| 650 | 7 | |a SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK) |x ger |0 (ETHUDK)000012523 |2 ethudk | |
| 691 | 7 | |B u |a SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK) |z ger |u 510.662 |2 nebis E1 | |
| 691 | 7 | |B u |a AUFGABENSAMMLUNGEN + ARBEITSBÜCHER (DOKUMENTENTYP) |z ger |u (076) |2 nebis E1 | |
| 691 | 7 | |B u |a INFERENCE SEARCH + PROOF THEORY (MATHEMATICAL LOGIC) |z eng |u 510.662 |2 nebis E1 | |
| 691 | 7 | |B u |a RECHERCHE D'INFÉRENCE + THÉORIE DE LA PREUVE (LOGIQUE MATHÉMATIQUE) |z fre |u 510.662 |2 nebis E1 | |
| 691 | 7 | |B u |a LIVRES D'EXERCICES + RECUEILS D'EXERCICES (TYPE DE DOCUMENT) |z fre |u (076) |2 nebis E1 | |
| 691 | 7 | |B u |a EXERCISE BOOKS + WORKBOOKS (DOCUMENT TYPES) |z eng |u (076) |2 nebis E1 | |
| 856 | 4 | 0 | |u https://ebookcentral.proquest.com/lib/unibern/detail.action?docID=311405 |z Uni Bern: Volltext |
| 898 | |a BK020053 |b XK020053 |c XK020000 | ||
| 909 | 4 | |f Ebook Central All Subscribed Titles | |
| 909 | 4 | |a E-Books von 360MarcUpdates | |
| 909 | 7 | |a EText |2 nebis ED | |
| 909 | 7 | |a ETH-BIBElsevier-Link |2 nebis ER | |
| 909 | 7 | |a E01-Elsevier |2 nebis ER | |
| 909 | 7 | |a noalma |2 ids I | |
| 912 | 7 | |a 121 |2 E01-20060206 | |
| 949 | |B NEBIS |F E01 |b E01 |c EL | ||
| 949 | |B IDSBB |F B405 |b B405 |c 405VT |x NELB4051809 | ||
| 950 | |B IDSBB |P 100 |E 1- |a Cupillari |D Antonella | ||
| 950 | |B IDSBB |P 856 |E 40 |u https://ebookcentral.proquest.com/lib/unibern/detail.action?docID=311405 |z Uni Bern: Volltext | ||
| 950 | |B NEBIS |P 700 |E 1- |a Cupillari |D Antonella | ||
| 950 | |B NEBIS |P 856 |E -- |u http://sfx.ethz.ch/sfx_locater?sid=ALEPH:EBI01&genre=book&isbn=9780120885091&rft.local_attribute=esd |z Online via SFX |3 Volltext | ||
| 986 | |a SWISSBIB |b 125314337 | ||