VIAF

Virtual International Authority File

Search

Porte, Jean. NUKAT Center of Warsaw University Library National Library of France Sudoc [ABES], France ISNI National Library of the Netherlands National Library of Australia

VIAF ID: 9927194 (Personal)

Permalink: http://viaf.org/viaf/9927194

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close SectionWorks

Title Sources
Bibliographie de Jean Porte, 1957-1987 Sudoc [ABES], France
Collectifs et fonctions récursives exposé fait au séminaire de calcul des probalités le 6 juin 1957 Sudoc [ABES], France
Cours de logique mathématique : Syntaxe, solutions des exercices Sudoc [ABES], France
La logique mathématique et le calcul mécanique NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Netherlands
Les logiques modales séance du 7 avril 1986 Sudoc [ABES], France
Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs NUKAT Center of Warsaw University Library National Library of France Sudoc [ABES], France National Library of the Netherlands
Sur les algèbres de Hilbert NUKAT Center of Warsaw University Library National Library of France Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (5)

Open Section Close Section About

Open Section Close Section History of VIAF ID:9927194 (7)