scientific article; zbMATH DE number 3377188
From MaRDI portal
Publication:5648331
zbMath0238.02003MaRDI QIDQ5648331
Jean-Louis Krivine, Georg Kreisel
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) General logic (03Bxx) Model theory (03Cxx)
Related Items (2)
Axiomatic Thinking—Applied to Religion ⋮ Combining logical and algebraic techniques for natural style proving in elementary analysis
This page was built for publication:
