Title Titel
Studia Logica
 
e-ISSN
1572-8730
 
ISSN
0039-3215
 
Publisher Herausgeber
SPRINGER
 
Publisher's Address Herausgeber Adresse
VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Author:  Baaz, Matthias

Results 1-2 of 2 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, M. ; Leitsch, A. Cut-Elimination: Syntax and SemanticsArtikel Article2014
2Baaz, Matthias ; Iemhoff, Rosalie Gentzen calculi for the existence predicateArtikel Article 2006