Shortcuts
SISSA Library . Default .
PageMenu- Hauptmenü-
Page content

Suchergebnisse

Ihre Suche nach MATHEMATICAL LOGIC ergibt 389 Einträge

Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien
Suchergebnisse in Tabellenform anzeigen.

- -


- L' importanza di essere Fuzzy: matematica e computer Sangalli, Arturo L' importanza di essere Fuzzy: matematica e computer001 SAN 1 -
Titel: L' importanza di essere Fuzzy: matematica e computer
Verfasser: Sangalli, Arturo
Jahr: 2000
Literaturabteilungen: General.
- Logica a informatica Asperti, Andrea Logica a informatica510.6 ASP 2 -
Titel: Logica a informatica
Verfasser: Asperti, Andrea
Jahr: 1997
Literaturabteilungen: General.
- Il computer di Platone: alle origini del pensiero logico e matematico Borzacchini, Luigi Il computer di Platone: alle origini del pensiero logico e matematico510.6 BOR 3 -
Titel: Il computer di Platone: alle origini del pensiero logico e matematico
Verfasser: Borzacchini, Luigi
Jahr: 2005
Literaturabteilungen: General.
- Sotto il segno di Gödel Lolli, Gabriele Sotto il segno di Gödel510.6 LOL 4 -
Titel: Sotto il segno di Gödel
Verfasser: Lolli, Gabriele
Jahr: 2007
Literaturabteilungen: General.
- Lattices and Ordered Sets Roman, Steven Lattices and Ordered SetsOnline Resource : Springer 6 -
Titel: Lattices and Ordered Sets
Verfasser: Roman, Steven
Jahr: 2008
- Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior Schultz, Patrick Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior Online Resource: Birkhäuser 7 -
Titel: Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior
Verfasser: Schultz, Patrick
Jahr: 2019
- Proofs and Fundamentals: A First Course in Abstract Mathematics Bloch, Ethan D. 1956- Proofs and Fundamentals: A First Course in Abstract Mathematics Online Resource: Birkhäuser  8 -
Titel: Proofs and Fundamentals: A First Course in Abstract Mathematics
Verfasser: Bloch, Ethan D. 1956-
Jahr: 2003
- Bound States of the Magnetic Schrödinger Operator Raymond, Nicolas Bound States of the Magnetic Schrödinger OperatorOnline Resource: EMS 9 -
Titel: Bound States of the Magnetic Schrödinger Operator
Verfasser: Raymond, Nicolas
Jahr: 2017
- Gödel's disjunction: the scope and limits of mathematical knowledge Horsten, Leon Gödel's disjunction: the scope and limits of mathematical knowledgeOnline Resource: Oxford Scholarship Online 10 -
Titel: Gödel's disjunction: the scope and limits of mathematical knowledge
Verfasser: Horsten, Leon
Jahr: 2016


- -


Schnellsuche