Semantic construction of intuitionistic logic

Enregistré dans:
Détails bibliographiques
Auteur principal : Beth Evert Willem (Auteur)
Format : Livre
Langue : anglais
Titre complet : Semantic construction of intuitionistic logic / by E. W. Beth
Publié : Amsterdam : N.V. Noord-Hollandsche uitgevers mij , 1956
Description matérielle : 1 vol. (32 p.)
Collection : Mededeelingen der Koninklijke Nederlandsche Akademie van Wetenschappen, Afdeeling Letterkunde ; Deel 19, 11
Sujets :
LEADER 01359cam a2200373 4500
001 PPN064725995
003 http://www.sudoc.fr/064725995
005 20240320151300.0
035 |a (OCoLC)458518311 
035 |a SU013005640001P 
035 |a AIC00950041 
100 |a 19920416d1956 k y0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a NL 
105 |a a z 000yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
200 1 |a Semantic construction of intuitionistic logic  |f by E. W. Beth 
210 |a Amsterdam  |c N.V. Noord-Hollandsche uitgevers mij  |d 1956 
215 |a 1 vol. (32 p.)  |d 24 cm 
225 2 |a Mededelingen der Koninklijke nederlandse akademie van wetenschappen. Afdeeling Letterkunde. Nieuwe reeks  |v Deel 19, 11 
410 | |0 039117839  |t Mededeelingen der Koninklijke Nederlandsche Akademie van Wetenschappen, Afdeeling Letterkunde  |x 0168-6968  |v Deel 19, 11 
606 |3 PPN027411397  |a Sémantique (philosophie)  |2 rameau 
700 1 |3 PPN052649482  |a Beth  |b Evert Willem  |f 1908-1964  |4 070 
801 3 |a FR  |b Abes  |c 20230105  |g AFNOR 
801 1 |a FR  |b AIC  |c 20020312 
801 1 |a FR  |b BNF  |c 19960511 
979 |a PHILO 
930 |5 441092107:252856759  |b 441092107  |a L 1839  |j s 
991 |5 441092107:252856759  |a Rétroconversion Philosophie 
998 |a 445585