giovanni sommaruga (123 risultati)

brossura. Condizione: in ottime condizioni. Collana Manualetti pratici, 8. Senza data (primi del '900). Con 27 figure in nero. Cartonato. Formato in.24 (11x15 cm). Pagg. 146, 2. Macchie alla coperta. Lievi segni. Ottimo stato.

162 S., broschiert. Condizione: Sehr gut. Ein gutes und sauberes Exemplar. - Beiträge teisl deutsch, teils französisch. - AGAZZI, E. Conventions et conventionnalisme dans les sciences -- BOTTANI, A. Décisions hasardées ou inferences circulaires? -- Buzzoni, M. Wahrheit und Technik. Gültigkeit und Grenzen des Instrumentalismus -- MINAZZI, F. Conventionnalisme et historicité -- BONSACK, F. Le problème des étalons -- BORGA, M. Konventionalismus und Widerspruchsfreiheit in der mathematischen Grundlagenforschung -- MIEVILLE, D. Definition conventionnelle et définition créative -- GALVAN, S. Einige Aspekte des ethischen Konventionalismus -- MARSONET, M. Réflexions sur le conventionnalisme radical de K. Ajdukiewicz -- NEGRO, M. Aspects du conventionnalisme de Henri Poincaré -- PENCO, C. Wittgenstein et le conventionnalisme -- SOMMARUGA-ROSOLEMOS, G. Zu Quines Kritik des Konventionalismus in der Philosophie der Mathematik. ISBN 3727808101 Sprache: Deutsch Gewicht in Gramm: 550.

hardcover. Condizione: Very Good. Turingâs Revolution: The Impact of His Ideas about Computability This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .

Copertina rigida. Condizione: discrete. Cm.15,3x11. Pg.148. Legatura allentata. Lievi fioriture. 27 illustrazioni nel testo. Collezione "Manualetti Pratici", n.8. 200 gr.

Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 304 | Sprache: Englisch | Produktart: Bücher.

Condizione: Ottimo (Fine). In-16^, cm 16, pp. 146, con qualche incisione nel testo. Legatura in tela editoriale con titoli entro cornice decorativa al piatto. Appunti al verso della carta di guarda, peraltro eccellente stato di conservazione. Collana Manualetti pratici, n. 8. Non comune. *** TUTTI I NOSTRI LIBRI SONO VISIBILI PREVIO CONTATTO MAIL O TELEFONO NELLA NUOVA SEDE DI MILANO: LIBRERIA COSMOPOLIS, VIA JOMMELLI, 22. ***. Book.

Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 304 | Sprache: Englisch | Produktart: Bücher.

broché. 210x148mm, 162pages, Exemplaire à l'état de neuf. En cas de problème de commande, veuillez nous contacter via notre page d'accueil / If there is a problem with the order, please contact us via our homepage.

Condizione: New.

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 316 | Sprache: Englisch | Produktart: Bücher.

Condizione: New.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering.

Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering.

Condizione: New.

Buch. Condizione: Neu. Neuware -A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book.Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory.