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 92 für Suche 'Barwise, Jon', Suchdauer: 0,10s
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
Admissible sets and structures : an approach to definability theory / von Barwise, Jon
Veröffentlicht 2016Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch E-Book -
2
The liar : an essay on truth and circularity / von Barwise, Jon
Veröffentlicht 1987Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch E-Book -
3
Model-theoretic logics /
Veröffentlicht 2016Weitere Verfasser: “… Barwise, Jon …”
Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch E-Book -
4
Logical reasoning with diagrams /
Veröffentlicht 1996Weitere Verfasser:Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
Elektronisch E-Book -
5
Sprache, Beweis und Logik von Barwise, Jon 1942-2000, Etchemendy, John
Veröffentlicht 2009Signatur: Wird geladen …
Standort: Wird geladen … -
6
Sprache, Beweis und Logik von Barwise, Jon 1942-2000, Etchemendy, John
Veröffentlicht 2006Signatur: Wird geladen …
Standort: Wird geladen … -
7
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 … -
8
Turing's World 3.0 Windows version von Barwise, Jon 1942-2000
Veröffentlicht 1998Signatur: Wird geladen …
Standort: Wird geladen … -
9
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 -
10
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 … -
11
Tarski's world von Barwise, Jon 1942-2000, Etchemendy, John
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
12
Tarski's world version 4.0 for Macintosh von Barwise, Jon 1942-2000
Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen … -
13
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 … -
14
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 … -
15
The liar an essay on truth and circularity von Barwise, Jon 1942-2000, Etchemendy, John
Veröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen … -
16
The liar an essay on truth and circularity von Barwise, Jon 1942-2000, Etchemendy, John
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen … -
17
The liar an essay on truth and circularity von Barwise, Jon 1942-2000, Etchemendy, John
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen … -
18
Situationen und Einstellungen Grundlagen der Situationssemantik von Barwise, Jon 1942-2000
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen … -
19
Situationen und Einstellungen Grundlagen der Situationssemantik von Barwise, Jon 1942-2000
Veröffentlicht 1987Signatur: Wird geladen …Volltext öffnen
Standort: Wird geladen …
-
20
The liar an essay on truth and circularity von Barwise, Jon, Etchemendy, John 1952-
Veröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …