Jon Barwise
Kenneth Jon Barwise (* 29. Juni 1942 in Independence (Missouri); † 5. März 2000 in Bloomington, Indiana) war ein US-amerikanischer Mathematiker und Philosoph, der sich mit mathematischer Logik beschäftigte. Veröffentlicht in Wikipedia
Treffer 1 – 20 von 84 für Suche 'Barwise, Jon 1942-2000', Suchdauer: 0,14s
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
Sprache, Beweis und Logik von Barwise, Jon 1942-2000, Etchemendy, John
Veröffentlicht 2009Signatur: Wird geladen …
Standort: Wird geladen … -
2
Sprache, Beweis und Logik von Barwise, Jon 1942-2000, Etchemendy, John
Veröffentlicht 2006Signatur: Wird geladen …
Standort: Wird geladen … -
3
Turing's World 3.0 for the Macintosh an introduction to computability theory von Barwise, Jon 1942-2000, Etchemendy, John
Veröffentlicht 1998Signatur: Wird geladen …
Standort: Wird geladen … -
4
Turing's World 3.0 Windows version von Barwise, Jon 1942-2000
Veröffentlicht 1998Signatur: Wird geladen …
Standort: Wird geladen … -
5
Information flow the logic of distributed systems von Barwise, Jon 1942-2000, Seligman, Jerry
Veröffentlicht 1997Signatur: Wird geladen …
Standort: Wird geladen …Buch Fernleihe Bestellen -
6
The language of first-order logic including the Macintosh version of Tarskiś world 4.0 von Barwise, Jon 1942-2000, Etchemendy, John
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen … -
7
Tarski's world von Barwise, Jon 1942-2000, Etchemendy, John
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
8
Tarski's world version 4.0 for Macintosh von Barwise, Jon 1942-2000
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
9
Tarski's world 3.0 including the Macintosh TM program von Barwise, Jon 1942-2000, Etchemendy, John
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
10
The language of first-order logic including the Macintosh TM program "Tarski's world" von Barwise, Jon 1942-2000, Etchemendy, John
Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen … -
11
The liar an essay on truth and circularity von Barwise, Jon 1942-2000, Etchemendy, John
Veröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen … -
12
The liar an essay on truth and circularity von Barwise, Jon 1942-2000, Etchemendy, John
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen … -
13
The liar an essay on truth and circularity von Barwise, Jon 1942-2000, Etchemendy, John
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen … -
14
Situationen und Einstellungen Grundlagen der Situationssemantik von Barwise, Jon 1942-2000
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen … -
15
Situationen und Einstellungen Grundlagen der Situationssemantik von Barwise, Jon 1942-2000
Veröffentlicht 1987Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
16
Situations and attitudes von Barwise, Jon 1942-2000, Perry, John 1943-
Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen … -
17
Shifting situations and shaken attitudes von Barwise, Jon 1942-2000, Perry, John 1943-
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen … -
18
The situation in logic von Barwise, Jon 1942-2000
Veröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen … -
19
Language, proof and logic von Barwise, Jon 1942-2000, Etchemendy, John
Signatur: Wird geladen …
Standort: Wird geladen … -
20
Language, proof, and logic von Barker-Plummer, Dave, Barwise, Jon 1942-2000, Etchemendy, John 1952-
Veröffentlicht 2011Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch Fernleihe Bestellen