top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Die natürlichen Grundlagen der Mathematik
Die natürlichen Grundlagen der Mathematik
Autore Bender Helmut
Edizione [3., überarbeitete Auflage]
Pubbl/distr/stampa Berlin/Germany, : Logos Verlag Berlin, 2020
Descrizione fisica Online-Ressource (98 S.)
Disciplina 510
Soggetto topico Logik
Mengen
Klassen
Zahlensystem
Abbildungen
ISBN 3-8325-9290-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Nota di contenuto INHALT -- Einführung -- I. Aufbau des Zahlensystems -- 1. Vervollständigung archimedisch und dicht geordneter Gruppen 2 -- 2. Vervollständigung archimedisch geordneter Körper 4 -- 3. Quotientenkörper archimedisch geordneter Ringe 6 -- 4. Geordnete Mengen, Gruppen und Ringe vom Typ 7Z 8 -- 5. Wohlgeordnete Mengen und der /-Kettensatz 10 -- 6. Induktion und Kardinalität 13 -- 7. Endliche und unendliche Mengen 15 -- 8. Endliche Summen und Produkte 16 -- Literatur hinweise -- II. Dedekind und die Grundlagen -- 1. Dedekinds Brief an Dr. Hans Keferstein vom 27. Februar 1890 17 -- 2. Dedekinds Zahlenschrift - Eckstein und Stein des Anstoßes 31 -- 3. Was ist Gleichheit? 38 -- 4. Was ist eine Menge? 44 -- 5. Existenz - Negation - Eigenschaften 51 -- 6. Was ist eine Aussage? 57 -- III. Bereiche - Klassen - Mengen -- 1. Reine Logik und Negation 63 -- 2. Bereiche und Abbildungen 65 -- 3. Existenz 66 -- 4. Klassen und Gleichheit 67 -- 5. Existenz von Teilklassen und Abbildungen 69 -- 6. Mengen 74 -- IV. Mathematik mit starker Existenz -- 1. Starke Existenz 75 -- 2. Mathematische Strukturen 78 -- 3. Kardinal- und Ordinalzahlen 79 -- V. Mathematik ohne starke Existenz -- 1. Existenz multivariabler Abbildungen 81 -- 2. Rückschau auf Teil I 86 -- 3. Kardinal- und Ordinalzahlen 89 -- Literatur.
Record Nr. UNINA-9910557480703321
Bender Helmut  
Berlin/Germany, : Logos Verlag Berlin, 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Logic and logical philosophy
Logic and logical philosophy
Pubbl/distr/stampa Toruń, : Nicolas Copernicus University Press, 1993-
Descrizione fisica 1 online resource
Disciplina 160/.5
Soggetto topico Logic
Philosophy
Analysis (Philosophy)
08.33 logics and argumentation
Logik
Soggetto genere / forma Periodicals.
Zeitschrift
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Altri titoli varianti LLP
Record Nr. UNINA-9910895827503321
Toruń, : Nicolas Copernicus University Press, 1993-
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Logic journal of the IGPL / / Interest Group in Pure and Applied Logics
Logic journal of the IGPL / / Interest Group in Pure and Applied Logics
Pubbl/distr/stampa Oxford, UK, : Oxford University Press, 1997-
Descrizione fisica 1 online resource
Soggetto topico Logic, Symbolic and mathematical
Mathematical Logic
Logik
Zeitschrift
Online-Ressource
Soggetto genere / forma Periodicals.
ISSN 1368-9894
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Record Nr. UNISA-996214240903316
Oxford, UK, : Oxford University Press, 1997-
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Logic journal of the IGPL / / Interest Group in Pure and Applied Logics
Logic journal of the IGPL / / Interest Group in Pure and Applied Logics
Pubbl/distr/stampa Oxford, UK, : Oxford University Press, 1997-
Descrizione fisica 1 online resource
Soggetto topico Logic, Symbolic and mathematical
Mathematical Logic
Logik
Zeitschrift
Online-Ressource
Soggetto genere / forma Periodicals.
ISSN 1368-9894
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Record Nr. UNINA-9910140236803321
Oxford, UK, : Oxford University Press, 1997-
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Eine Logik Von Handlungen Und Überzeugungen / / Caroline Willkommen
Eine Logik Von Handlungen Und Überzeugungen / / Caroline Willkommen
Autore Willkommen Caroline
Pubbl/distr/stampa Berlin : , : Logos Verlag, , [2013]
Descrizione fisica 1 online resource (346 pages)
Disciplina 818.5209
Soggetto topico Logik
Handlungstheorie
Überzeugung
Intention
Stit-Theorie
ISBN 3-8325-8976-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNINA-9910793482403321
Willkommen Caroline  
Berlin : , : Logos Verlag, , [2013]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Eine Logik Von Handlungen Und Überzeugungen / / Caroline Willkommen
Eine Logik Von Handlungen Und Überzeugungen / / Caroline Willkommen
Autore Willkommen Caroline
Pubbl/distr/stampa Berlin : , : Logos Verlag, , [2013]
Descrizione fisica 1 online resource (346 pages)
Disciplina 818.5209
Soggetto topico Logik
Handlungstheorie
Überzeugung
Intention
Stit-Theorie
ISBN 3-8325-8976-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNINA-9910822067903321
Willkommen Caroline  
Berlin : , : Logos Verlag, , [2013]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui