Il computer di Kant struttura della matematica e della logica moderne

Filosofia e matematica nell'illuminismo tedesco
von: De Felice, Federica
Veröffentlicht: (2008)

Invited papers presented at the 1992 IEEE Symposium on Logic in Computer Science
Veröffentlicht: (1994)

Special issue on logic and applications to computer science [devoted to a workshop held in Paris on 31 January - 1 February 1990 and 23 - 24 January 1991]
Veröffentlicht: (1992)

Logic at botik '89 Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3 - 8, 1989 ; proceedings
Veröffentlicht: (1989)

The great formal machinery works theories of deduction and computation at the origins of the digital age
von: Plato, Jan von 1951-
Veröffentlicht: (2017)

La matematica degli Egizi i papiri matematici del Medio Regno
von: Cartocci, Alice 1977-
Veröffentlicht: (2007)

Mathematical logic for computer science
von: Ben-Ari, Moti
Veröffentlicht: (1993)

Mathematical Logic for Computer Science
von: Ben-Arî, Môtî 1948-
Veröffentlicht: (2012)

Proceedings 20th annual IEEE Symposium on Logic in Computer Science ; 26 - 29 June 2005, Chicago, Ill.
Veröffentlicht: (2005)

Il programma logicista di Frege e il tema delle definizioni
von: Sisti, Nicola
Veröffentlicht: (2005)

Logik für Informatiker
von: Heinemann, Bernhard, et al.

A Galois connection between turing jumps and limits
von: Brattka, Vasco
Veröffentlicht: (2018)

The continuous and the infinitesimal in mathematics and philosophy
von: Bell, John L. 1945-
Veröffentlicht: (2005)

Computer science logic 5th workshop, CSL '91, Berne, Switzerland, October 7 - 11, 1991 ; proceedings
Veröffentlicht: (1992)

Mathematics and computer science

Logical foundations of computer science third international symposium ; LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings
Veröffentlicht: (1994)

Logical foundations of computer science third international symposium ; LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994 ; proceedings
Veröffentlicht: (1994)

Construction of logical space
von: Rayo, Agustín
Veröffentlicht: (2015)

Leitfaden der Logik autoris. dt. Übers. nach der 22. Aufl. des englischen Originals ; mit einem Anhang über die neuere Logik
von: Jevons, William Stanley 1835-1882
Veröffentlicht: (1924)

Logos and Máthēma Studies in the Philosophy of Mathematics and History of Logic
von: Murawski, Roman
Veröffentlicht: (2012)

Philosophische Gedanken zur Mathematik eine Philosophie der Mathematik
von: Gobrecht, Reinhard 1950-
Veröffentlicht: (2018)

Logos and Máthēma studies in the philosophy of mathematics and history of logic
von: Murawski, Roman 1949-
Veröffentlicht: (2011)

The philosophy of mathematics and logic in the 1920s and 1930s in Poland
von: Murawski, Roman 1949-
Veröffentlicht: (2014)

Mathematical logic for computer science
von: Ben-Arî, Môtî 1948-
Veröffentlicht: (2003)

Mathematical foundations of computer science
von: Fejer, Peter A., et al.

Mathematical foundations of computer science
von: Satyanarayana, Bhavanari, et al.
Veröffentlicht: (2023)

Mathematics for informatics and computer science
von: Audibert, Pierre
Veröffentlicht: (2010)

Computer science logic 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22 - 29, 1995 ; selected papers
Veröffentlicht: (1996)

Computer science logic 10th international workshop, CSL '96, annual conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1997 ; selected papers
Veröffentlicht: (1997)

Selected papers
von: Hintikka, Jaakko 1929-2015
Veröffentlicht: (1997)

Philosophy of logic and mathematics
Veröffentlicht: (2016)

Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker
von: Hofbauer, Dieter
Veröffentlicht: (1989)

Leitfaden der Logik
von: Jevons, William Stanley 1835-1882
Veröffentlicht: (1906)

Frege e il neologicismo
Veröffentlicht: (2005)

Mathématiques savoirs et enseignements : (Orient - Occident)
Veröffentlicht: (2019)

D'al-Khwārizmī à Descartes études sur l'histoire des mathématiques classiques
von: Rashed, Roshdi 1936-
Veröffentlicht: (2011)