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