Louis Couturat -Traité de Logique algorithmique

Transcription of the Manuscript -- Définitions et notations : A. Logique des concepts -- Définitions et notations : B. Logique des propositions -- Principes -- Lois de la multiplication et de l’addition -- Lois de la négationa -- Développement des fonctions -- Théorie des équations -- Sur les...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Schlaudt, Oliver (Verfasst von)
Weitere Verfasser: Sakhri, Mohsen (Berichterstattung)
Dokumenttyp: Buch/Monographie
Sprache:Englisch
Veröffentlicht: Basel Birkhäuser Basel 2010
Schriftenreihe:Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives
SpringerLink Bücher
DOI:10.1007/978-3-0346-0411-6
Online-Zugang:Resolving-System, lizenzpflichtig: https://doi.org/10.1007/978-3-0346-0411-6
Cover: https://swbplus.bsz-bw.de/bsz333458524cov.jpg
Verlag, Zentralblatt MATH, Inhaltstext: https://zbmath.org/?q=an:1200.01051
Volltext
Verfasserangaben:edited by Oliver Schlaudt, Mohsen Sakhri
Search Result 1

Louis Couturat - traité de logique algorithmique von Couturat, Louis (Verfasst von)

Springer Basel AG 2010

Volltext
Buch/Monographie