Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher:
Barwise, Jon (17)
Etchemendy, John (17)
Barker-Plummer, Dave (2)
Akhter, Murad (1)
Aron, Andrei (1)
Lui, Albert (1)
Murray, Michael (1)
Year
Medium:
Print (17)
Type
BLLDB-Access
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Hits 1 – 17 of 17
1
Logical reasoning with diagrams & sentences using Hyperproof
Barker-Plummer, Dave
;
Akhter, Murad
(Mitwirkender);
Etchemendy, John
. - Stanford : CSLI Publications, 2017
BLLDB
UB Frankfurt Linguistik
Show details
2
Tarski's world
Etchemendy, John
;
Barwise, Jon
;
Barker-Plummer, Dave
. - Stanford, Calif. : Center for the Study of Language and Information, 2008
BLLDB
UB Frankfurt Linguistik
Show details
3
Language, proof and logic
Barwise, Jon
;
Etchemendy, John
. - Stanford, Calif. : Center for the Study of Language and Information, CLSI Publ., 2003
UB Frankfurt Linguistik
Show details
4
Computers, Visualization, and the Nature of Reasoning
Barwise, Jon
;
Etchemendy, John
In:
Metaphilosophy. - Malden, Mass. : Wiley-Blackwell
(1998), 93-116
OLC Linguistik
Show details
5
Hyperproof : program by Gerard Allwein, Mark Greave, and Michael Lenz
Barwise, Jon
;
Etchemendy, John
. - Stanford, Calif. : Center for the Study of Language and Information, 1994
UB Frankfurt Linguistik
Show details
6
Tarski's World : version 4.0 for Macintosh
Etchemendy, John
;
Barwise, Jon
. - Stanford, Calif. : Center for the Study of Language and Information, 1993
BLLDB
UB Frankfurt Linguistik
Show details
7
Tarski's World : version 4.0 for MS windows
Barwise, Jon
;
Etchemendy, John
. - Stanford, Calif. : CSLI Publ., 1993
UB Frankfurt Linguistik
Show details
8
Turing's World 3.0 for the Macintosh : an introduction to computability theory
Barwise, Jon
;
Etchemendy, John
. - Stanford, Calif. : Center for the Study of Language and Information, 1993
UB Frankfurt Linguistik
Show details
9
The language of first order logic : including the IBM-compatible Windows version of Tarski's world 4.0
Barwise, Jon
;
Etchemendy, John
. - Stanford, CA, 1992. - XIV, 318 S. : 1 Diskette (3,5")
(
CSLI lecture notes
; 34)
ISBN:
0-937073-90-3 ; 0-937073-99-7
UB Frankfurt Linguistik
Hide details
10
The language of first order logic : including the Macintosh program Tarski's world
Barwise, Jon
;
Etchemendy, John
. - Menlo Park, CA [u.a.], 1991
BLLDB
UB Frankfurt Linguistik
Show details
11
Tarski's World 3.0 : including the Macintosh program
Barwise, Jon
;
Etchemendy, John
. - Stanford, CA, 1991
UB Frankfurt Linguistik
Show details
12
Information, infons and inference
Barwise, Jon
;
Etchemendy, John
In:
CSLI Lecture notes
(Stanford,CA), 22 ; P. 33-78
MPI für Psycholinguistik
Show details
13
The language of first order logic
Barwise, Jon
;
Etchemendy, John
- Darin enthalten: Including the program Tarski's world. - Stanford, CA : Center for the Study of Language and Information, 1990
UB Frankfurt Linguistik
Show details
14
The language of first-order logic including the program Tarski's world
Barwise, Jon
;
Etchemendy, John
. - Menlo Park : Center for the Study of Language and Information, c 1990
IDS Mannheim
Show details
15
Information, infons, and inference
Barwise, Jon
;
Etchemendy, John
In:
Situation theory and its applications. Vol. 1. - Stanford, Calif. : Center for the Study of Language and Information
(1990), 33-78
BLLDB
Show details
16
The liar : an essay on truth and circularity
Barwise, Jon
;
Etchemendy, John
. - New York [u.a.] : Oxford Univ. Press, 1987
BLLDB
UB Frankfurt Linguistik
Show details
17
The liar : an essay on truth and circularity
Barwise, Jon
;
Etchemendy, John
. - New York, NY [u.a.] : Oxford Univ. Pr., 1987
IDS Mannheim
Show details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
12
IDS Mannheim
2
OLC Linguistik
1
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
6
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
1
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
0
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern