Logique symbolique: Sur la portée du théorème de M. Gödel

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Référence Bulletin de la Classe des sciences. Académie royale de Belgique, 26, page (230-239)
Publication Publié, 1940

Article révisé par les pairs

Titre:	Logique symbolique: Sur la portée du théorème de M. Gödel
Auteur:	Barzin, Marcel
Informations sur la publication:	Bulletin de la Classe des sciences. Académie royale de Belgique, 26, page (230-239)
Statut de publication:	Publié, 1940
Sujet CREF:	Logique mathématique
	Logique
Langue:	Français
Identificateurs:	urn:issn:0001-4141
	VAR-61814-1001

Finite-valued Streaming String Transducers
par Filiot, Emmanuel , Jecker, Ismaël Robin , Löding, Christof , Muscholl, Anca , Puppis, Gabriele , Winter, Sarah
Publication 2024-07-01
Stackelberg-Pareto Synthesis
par Bruyère, Véronique , Fievet, Baptiste , Raskin, Jean-François , Tamines, Clément
Publication 2024-04-01
Lesniewski et Kotarbinski.:La vérité est-elle éternelle ou éternelle et sempiternelle (2e édition)
par Peeters, Marc , Vandenborre, Katia
Publication 2023-12-31
Critique de la théorie des événements de Whitehead par Lesniewski
par Peeters, Marc , Connor, Thomas
Publication 2023-12-31
Lesniewski : temps, espace et système:La vérité est-elle éternelle ou éternelle et sempiternelle
par Peeters, Marc , Vandenborre, Katia
Publication 2023

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.