Annals of Pure and Applied Logic

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Annals of Pure and Applied Logic
 
e-ISSN
1873-2461
 
ISSN
0168-0072
 
Publisher Herausgeber
ELSEVIER
 
Publisher's Address Herausgeber Adresse
RADARWEG 29, AMSTERDAM, Netherlands, 1043 NX
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Author:  Baaz, Matthias

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

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias Controlling witnessesArtikel Article2005
2Baaz, Matthias ; Preining, Norbert ; Zach, Richard First Order Gödel logicsArtikel Article2007
3Baaz, Matthias Foreword: Kurt Gödel Centenary Research Prize FellowshipsArtikel Article2009
4Baaz, Matthias ; Wojtylak, Piotr Generalizing proofs in monadic languagesArtikel Article2008
5Baaz, Matthias ; Fasching, Oliver Note on witnessed Gödel logics with DeltaArtikel Article2009
6Baaz, Matthias ; Preining, Norbert On the Classification of First Order Gödel LogicsArtikel Article 2018
7Baaz, Matthias ; Iemhoff, Rosalie The Skolemization of existential quantifiers in intuitionistic logicArtikel Article2006