• 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
  • 
    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 – 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