DE eng

Search in the Catalogues and Directories

Hits 1 – 6 of 6

1
Vagueness, logic and use: four experimental studies on vagueness
In: Mind & language. - Oxford : Wiley-Blackwell 26 (2011) 5, 540-573
BLLDB
OLC Linguistik
Show details
2
The epsilon calculus and Herbrand complexity
In: Studia logica. - Dordrecht : Springer Science + Business Media 82 (2006) 1, 133-155
BLLDB
Show details
3
Book Review: Michael Potter. Reason's Nearest Kin. Philosophies of Arithmetic from Kant to Carnap.
In: Notre Dame journal of formal logic. - Durham, NC : Duke University Press 46 (2005) 4, 503
OLC Linguistik
Show details
4
Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity ≤ ω
In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 33 (2004) 2, 155-164
BLLDB
Show details
5
The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 137 (2003) 1, 211-260
OLC Linguistik
Show details
6
Many-valued logics
Mundici, Daniele (Hrsg.); Chang, C.C. (Mitarb.); Baaz, Matthias (Mitarb.)...
In: Studia logica. - Dordrecht : Springer Science + Business Media 61 (1998) 1, 1-169
BLLDB
Show details

Catalogues
0
0
3
0
0
0
0
Bibliographies
4
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
0
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern