Logic and foundations of mathematics : selected contributed papers of the tenth international congress of logic, methodology and philosophy of science, Florence, August 1995 / ed. by Andrea Cantini, Ettore Casari, Pierluigi Minari

<http://data.bibliotheken.nl/id/nbt/p188886338>

rdfs:label	"Logic and foundations of mathematics : selected contributed papers of the tenth international congress of logic, methodology and philosophy of science, Florence, August 1995 / ed. by Andrea Cantini, Ettore Casari, Pierluigi Minari"
schema:name	"Logic and foundations of mathematics : selected contributed papers of the tenth international congress of logic, methodology and philosophy of science, Florence, August 1995"
schema:contributor	Cantini, Andrea
	Casari, Ettore
schema:sameAs	<http://www.worldcat.org/oclc/906821500>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/9ae54bef729228e055a1ccd54c256754>
http://purl.org/dc/terms#issued	"1999"
schema:about	Theory of proof
	<http://data.bibliotheken.nl/id/thes/p077593421>
	wiskundige logica
	Logica
	Modeltheorie
schema:associatedMedia	<http://catdir.loc.gov/catdir/toc/fy044/99011864.html>
	<http://catdir.loc.gov/catdir/enhancements/fy0814/99011864-d.html>
schema:inLanguage	"en"
schema:isPartOf	Synthese library : studies in epistemology, logic, methodology, and philosophy of science / manag. ed. Jaakko Hintikka
schema:isbn	"0792356594"
schema:numberOfPages	282
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/3af37b9413fb7f50b152089d1d8e16ce>