scientific article; zbMATH DE number 3235223
From MaRDI portal
Publication:5522915
zbMath0146.00703MaRDI QIDQ5522915
Jean-Louis Krivine, Georg Kreisel
Publication date: 1967
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Model theory (03Cxx)
Related Items (12)
Why Horn formulas matter in computer science: initial structures and generic examples ⋮ Proof systems for structured algebraic specifications: An overview ⋮ An application of Tarski's principle to absolute Galois groups of function fields ⋮ Produits lexicographiques de groupes ordonnés: Isomorphisme et équivalence élémentaire. (Lexicographic products of ordered groups: isomorphism and elementary equivalence) ⋮ Parallélisation sémantique ⋮ Proving the correctness of behavioural implementations ⋮ Proof systems for structured specifications with observability operators ⋮ Unnamed Item ⋮ Behavioural theories and the proof of behavioural properties ⋮ Lattice ordered o-minimal structures ⋮ Note on the orderability of idempotent semigroups ⋮ Dimension arithmétique d'un corps
This page was built for publication:
