DE eng

Search in the Catalogues and Directories

Hits 1 – 12 of 12

1
Error
In: Topoi. - Dordrecht [u.a.] : Springer Science + Business Media B.V. 31 (2012) 1, 87-92
BLLDB
OLC Linguistik
Show details
2
"Inference versus consequence" revisited: inference, consequence, conditional, implication
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 187 (2012) 3, 943-956
BLLDB
OLC Linguistik
Show details
3
Semantic Values for Natural Deduction Derivations
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 148 (2006) 3, 623-638
OLC Linguistik
Show details
4
Proof-theoretic semantics
Contu, Patrizio; Mints, Grigorii E.; Sundholm, Göran. - Dordrecht [u.a.] : Kluwer, 2006
BLLDB
UB Frankfurt Linguistik
Show details
5
L' intuitionnisme
Bourdeau, Michel (Hrsg.); Sundholm, Göran (Mitarb.); Fichot, Jean (Mitarb.)...
In: Revue internationale de philosophie. - Bruxelles : Univ. Libre de Bruxelles 58 (2004) 230, 383-516
BLLDB
Show details
6
Interview with Michael Dummett
Dummett, Michael (Interviewter); Sundholm, Göran (Interviewer); Pagin, Peter (Interviewer)
In: Lingua e stile. - Bologna : Mulino 34 (1999) 1, 133-144
BLLDB
Show details
7
Implicit Epistemic Aspects of Constructive Logic
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 6 (1997) 2, 191-212
OLC Linguistik
Show details
8
Intuitionistic truth : /guest editor: Gabriele Usberti
Usberti, Gabriele (Hrsg.); Cozzo, Cesare (Mitarb.); George, Alexander (Mitarb.)...
In: Topoi. - Dordrecht [u.a.] : Springer Science + Business Media B.V. 13 (1994) 2, 67-145
BLLDB
Show details
9
Proof theory and meaning
In: Synthese library (Dordrecht [etc.]), p. 471-506
MPI für Psycholinguistik
Show details
10
Systems of deduction
In: Synthese library (Dordrecht [etc.]), p. 133-188
MPI für Psycholinguistik
Show details
11
Uses and abuses of logic in philosophy
Smith, Barry (Hrsg.); Wang, Hao (Mitarb.); Hintikka, Jaakko (Mitarb.)...
In: The monist. - Oxford : Oxford University Press 77 (1994) 3, 261-398
BLLDB
Show details
12
Constructive generalized quantifiers
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 79 (1989) 1, 1-12
BLLDB
Show details

Catalogues
1
0
4
0
0
0
0
Bibliographies
8
0
0
0
0
0
0
0
2
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