George Boolos
George Stephen Boolos (* 4. September 1940 in New York; † 27. Mai 1996 in Cambridge, Massachusetts) war ein US-amerikanischer Philosoph und Logiker. Veröffentlicht in Wikipedia
Treffer 1 – 9 von 9 für Suche 'Boolos, George 1940-1996', Suchdauer: 0,06s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Computability and logic von Boolos, George 1940-1996, Burgess, John P. 1948-, Jeffrey, Richard C. 1926-2002
Veröffentlicht 2002Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
2
The logic of provability von Boolos, George 1940-1996
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
3
Computability and logic von Boolos, George 1940-1996, Jeffrey, Richard C. 1926-2002
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen … -
4
The hierarchy of constructible sets of integers von Boolos, George 1940-1996
Veröffentlicht 1966Signatur: Wird geladen …
Standort: Wird geladen … -
5
Computability and logic von Boolos, George 1940-1996, Burgess, John P. 1948-, Jeffrey, Richard C. 1926-2002
Veröffentlicht 2007Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Fernleihe Bestellen -
6
Computability and logic von Boolos, George 1940-1996, Burgess, John P., Jeffrey, Richard C. 1926-2002
Veröffentlicht 2007Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
7
Computability and logic von Boolos, George 1940-1996, Jeffrey, Richard C. 1926-2002
Veröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen … -
8
Logic, logic, and logic von Boolos, George 1940-1996
Veröffentlicht 1998Signatur: Wird geladen …
Standort: Wird geladen … -
9
Computability and logic von Boolos, George 1940-1996, Jeffrey, Richard C. 1926-2002
Veröffentlicht 1974Signatur: Wird geladen …
Standort: Wird geladen …