Epistémologie magasin
Affiner la recherche
ressource imprimée
Alfred TARSKI ; Jacques TREMBLAY, Traducteur | Paris : Gauthier-Villars | Logique mathématique, ISSN 0530-7554 | 1969ressource imprimée
Alfred TARSKI ; Jacques TREMBLAY, Traducteur | Paris : Gauthier-Villars | Logique mathématique, ISSN 0530-7554 | 1971ressource imprimée
ressource imprimée
ressource imprimée
ressource imprimée
Petr Sergeevich NOVIKOV ; Ch SARTHOU, Traducteur | Paris : Dunod | Universitaire de mathématiques, ISSN 0530-9387 | 1964ressource imprimée
René DAVID ; Karim NOUR ; Christophe RAFFALLI ; Pierre-louis CURIEN, Préfacier, etc. | Paris : Dunod | 2e cycle | 2001Langue(s) du résumé : françaisressource imprimée
Sergey Vsevolodovich YABLONSKI, Auteur ; Djilali EMBAREK, Traducteur | Moscou : Mir | Traduit du russe | 1983ressource imprimée
ressource imprimée
ressource imprimée
ressource imprimée
ressource imprimée
ressource imprimée
Patrick SUPPES | New-York : Van Nostrand Reinhold | The university series in undergraduate mathematics | 19571.Principles of inference and definition 2.Elementary intuitive set theoryressource imprimée
ressource imprimée
William SHIRWOOD ; Norman KRETZMANN, Éditeur scientifique | Minneapolis : University of Minnesota Press | [1966]ressource imprimée
ressource imprimée
ressource imprimée
Elliott MENDELSON | New-York : Van Nostrand Reinhold | The university series in undergraduate mathematics | 19661.The propositional calculus 2.Quantification theory 3.Formal number theory 4.Axiomatic set theory .Effective computabilityressource imprimée
ressource imprimée
Hans HERMES ; Diana SCHMIDT, Traducteur | Berlin : Springer Verlag | Universitext, ISSN 0172-5939 | 1973ressource imprimée
ressource imprimée
ressource imprimée
ressource imprimée
Rudolf CARNAP ; William H MEYER, Traducteur ; John WILKINSON, Traducteur | New York : Dover Publications | [1958]ressource imprimée
ressource imprimée
ressource imprimée
ressource imprimée
Akiho KINO, Éditeur scientifique ; John MYHILL, Éditeur scientifique ; Richard Eugene VESLEY, Éditeur scientifique | Amsterdam : North-Holland Publishing company | Studies in logic and the foundations of mathematics, ISSN 0049-237X | 1970ressource imprimée