Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher
Year
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 – 6 of 6
1
Proof-theoretic semantics for a natural language fragment [<Journal>]
Francez, Nissim
[Verfasser];
Dyckhoff, Roy
[Sonstige]
DNB Subject Category Language
Show details
2
Proof-theoretic semantics for a natural language fragment
Francez, Nissim
;
Dyckhoff, Roy
In:
Linguistics and philosophy. - Dordrecht [u.a.] : Springer
33 (2010) 6, 447-477
BLLDB
OLC Linguistik
Show details
3
Proof-theoretic semantics for subsentential phrases
Francez, Nissim
;
Dyckhoff, Roy
;
Ben-Avi, Gilad
In:
Studia logica. - Dordrecht : Springer Science + Business Media
94 (2010) 3, 381-401
BLLDB
Show details
4
Analytic tableaux and related methods. Part 1 : modal logics
Dyckhoff, Roy
(Hrsg.);
Wansing, Heinrich
(Hrsg.)
In:
Studia logica. - Dordrecht : Springer Science + Business Media
69 (2001) 1, 1-191
BLLDB
Show details
5
Analytic tableaux and related methods. Part 2 : non-classical logics
Dyckhoff, Roy
(Hrsg.);
Wansing, Heinrich
(Hrsg.)
In:
Studia logica. - Dordrecht : Springer Science + Business Media
69 (2001) 2, 195-326
BLLDB
Show details
6
Natural deduction
Pfenning, Frank
(Hrsg.);
Sieg, Wilfried
(Hrsg.);
Pelletier, Francis Jeffry
(Mitarb.)...
In:
Studia logica. - Dordrecht : Springer Science + Business Media
60 (1998) 1, 1-231
BLLDB
Show details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
0
IDS Mannheim
0
OLC Linguistik
1
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
1
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
5
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
0
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