Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             3 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Admissible rules in the implication–negation fragment of intuitionistic logic Cintula, Petr
2010
162 2 p. 162-171
10 p.
artikel
2 Combinatorial analysis of proofs in projective and affine geometry von Plato, Jan
2010
162 2 p. 144-161
18 p.
artikel
3 Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators Arai, Toshiyasu
2010
162 2 p. 107-143
37 p.
artikel
                             3 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland