DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Wanda Szmielew
Wanda Szmielew
Foreword
Formalization of the Arithmetization of Euclidean Plane Geometry and Applications Pierre Boutry, Gabriel Braun, Julien Narboux
The Origin of the Group in Logic and the Methodology of Science
Introduction. the School: Its Genesis, Development and Significance
A Mechanical Verification of the Independence of Tarski's Euclidean
On the History of Polish Logic
Critical Studies/Book Reviews 1. Introduction
Definitions and Nondefinability in Geometry: Pieri and the Tarski School 1
H. N. Gupta (1925–2016)
Victor Pambuccian, Simple Axiom Systems for Euclidean Geometry, P
Wiktor Bartol
Proceedings of the Tarski Symposium *
From Tarski to Hilbert Gabriel Braun, Julien Narboux
Logic in Poland Atfer 1945 (Until 1975)
A Further Simplification of Tarski's Axioms of Geometry
On the Formalization of Foundations of Geometry Pierre Boutry
TARSKI Alfred, Ur
Polish Logic
Top View
SPOM5 Jinni Nationa