Home
Catalogue search
Refine your search:
Keyword:
Sprachlogik (7)
Logic, Symbolic and mathematical (3)
Sprachphilosophie (3)
Wissenschaftsgeschichte (20. Jahrhundert) (3)
Russell, Bertrand (2)
Theorem proving (2)
Wissenschaftstheorie (2)
Analytizität (1)
Antinomie (1)
Bibliographien (1)
more
Creator / Publisher
Year:
2012 (1)
2010 (1)
2009 (1)
2008 (1)
2004 (2)
2000 (3)
1999 (2)
1997 (1)
1995 (2)
1992 (1)
more
Medium
Type:
Article (13)
Book (6)
BLLDB-Access:
free (19)
subject to license (1)
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 – 19 of 19
1
And so on . . . : reasoning with infinite diagrams
Feferman, Solomon
In:
Synthese. - Dordrecht [u.a.] : Springer Science+Business Media
186 (2012) 1, 371-386
OLC Linguistik
Show details
2
Set-theoretical Invariance Criteria for Logicality.
Feferman, Solomon
In:
Notre Dame journal of formal logic. - Durham, NC : Duke University Press
51 (2010) 1, 3-20
OLC Linguistik
Show details
3
Gödel, Nagel, minds, and machines
Feferman, Solomon
In:
The journal of philosophy. - New York, NY : The Journal of Philosophy, Inc.
106 (2009) 4, 201-219
BLLDB
Show details
4
Harmonious logic: Craig's interpolation theorem and its descendants
Feferman, Solomon
In:
Synthese. - Dordrecht [u.a.] : Springer Science+Business Media
164 (2008) 3, 341-357
BLLDB
OLC Linguistik
Show details
5
Alfred Tarski : life and logic
Feferman, Solomon
;
Feferman, Anita Burdman
. - Cambridge [u.a.] : Cambridge Univ. Press, 2004
BLLDB
UB Frankfurt Linguistik
Show details
6
Russell en héritage : le centinaire des "Principles"
Rouilhan, Philippe de
(Hrsg.);
Feferman, Solomon
(Mitarb.);
Hellman, Geoffrey
(Mitarb.)...
In:
Revue internationale de philosophie. - Bruxelles : Univ. Libre de Bruxelles
58 (2004) 229, 247-372
BLLDB
Show details
7
Mathematical Intuition Vs. Mathematical Monsters*
Feferman, Solomon
In:
Synthese. - Dordrecht [u.a.] : Springer Science+Business Media
125 (2000) 3, 317-332
OLC Linguistik
Show details
8
Mathematical intuition vs. mathematical monsters
Feferman, Solomon
In:
Synthese. - Dordrecht [u.a.] : Springer Science+Business Media
125 (2000) 3, 317-332
BLLDB
Show details
9
Concepts of reduction in logic and philosophy
Link, Godehard
(Hrsg.);
Joosten, Joost J.
(Mitarb.);
Visser, Albert
(Mitarb.)...
In:
Erkenntnis. - Dordrecht [u.a.] : Springer
53 (2000) 1-2, 1-283
BLLDB
Show details
10
George S. Boolos
Detlefsen, Michael
(Hrsg.);
Parsons, Charles
(Mitarb.);
Wright, Crispin
(Mitarb.)...
In:
Notre Dame journal of formal logic. - Durham, NC : Duke University Press
40 (1999) 1, 1-140
BLLDB
Show details
11
Logic, Logics, and Logicism.
Feferman, Solomon
In:
Notre Dame journal of formal logic. - Durham, NC : Duke University Press
40 (1999) 1, 31-54
OLC Linguistik
Show details
12
Types
Turner, Ray
;
Feferman, Solomon
In:
Handbook of logic and language
(Amsterdam [etc.], 1997), p. 535-586
MPI für Psycholinguistik
Show details
13
Unpublished essays and lectures. - Collected works ; 3 : Unpublished essays and lectures. -
Gödel, Kurt
;
Feferman, Solomon
;
Dawson, John W.
. - New York [etc.] : Oxford University Press, 1995
MPI für Psycholinguistik
Show details
14
Predicative foundations of arithmetic
Feferman, Solomon
;
Hellman, Geoffrey
In:
Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media
24 (1995) 1, 1-17
BLLDB
Show details
15
Turing's "oracle" : from absolute to relative computability - and back
Feferman, Solomon
In:
The space of mathematics " philosophical, epistemological and historical explorations
(Berlin [etc.], 1992), P. 314-348
MPI für Psycholinguistik
Show details
16
Publications 1938-1974. - Collected works ; 2 : Publications 1938-1974. -
Gödel, Kurt
;
Feferman, Solomon
;
Dawson, John W.
. - New York [etc.] : Oxford University Press, 1990
MPI für Psycholinguistik
Show details
17
Publications 1929-1936. - Collected works ; 1 : Publications 1929-1936. -
Gödel, Kurt
;
Feferman, Solomon
;
Dawson, John W.
. - New York [etc.] : Oxford University Press, 1986
MPI für Psycholinguistik
Show details
18
Model theoretic logics
Barwise, Jon
(Hrsg.);
Baldwin, John T.
(Mitverf.);
Feferman, Solomon
(Hrsg.). - New York [u.a.] : Springer, 1985
BLLDB
UB Frankfurt Linguistik
Show details
19
Collected works
Gödel, Kurt
;
Feferman, Solomon
. - New York [etc.] : Oxford University Press
MPI für Psycholinguistik
Show details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
2
IDS Mannheim
0
OLC Linguistik
5
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
9
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
6
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