Suchergebnisse - Barwise, Jon 1942-2000
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
- Zur nächsten Seite
-
1The liar: an essay on truth and circularityVeröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2Language, proof, and logicVeröffentlicht 2011Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
3Language, proof, and logicVeröffentlicht 2000Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4Vicious circles: on the mathematics of non-wellfounded phenomenaVeröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5The situation in logicVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6Admissible sets and structures: an approach to definability theoryVeröffentlicht 1975Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
7Tarski's worldVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8Tarski's world 3.0: including the Macintosh TM programVeröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9The language of first-order logic: including the Macintosh TM program "Tarski's world"Veröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10Situationen und Einstellungen Grundlagen der SituationssemantikVeröffentlicht 1987Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
11Information flow: the logic of distributed systemsVeröffentlicht 2008Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
12Sprache, Beweis und LogikBand 2 - Anwendungen und Metatheorievon Barwise, Jon 1942-2000, Etchemendy, JohnVeröffentlicht 2006Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
13The liar: an essay on truth and circularityVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14Situations and attitudesVeröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15Situations and attitudesVeröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16Tarski's worldVeröffentlicht 2008Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
17Sprache, Beweis und LogikBand 1 - Aussagen- und Prädikatenlogikvon Barwise, Jon 1942-2000, Etchemendy, JohnVeröffentlicht 2005Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
18Interpolation, preservation, and pebble gamesVeröffentlicht 1996Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
19Turing's World 3.0: for the Macintosh ; an introduction to computability theoryVeröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
20The language of first order logic: including the Macintosh version of Tarski's World 4.0Veröffentlicht 1993Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …