Mathematical logic for computer science :: SCD d'Orléans

Mathematical logic for computer science

Mathematical logic for computer science

Enregistré dans:

Détails bibliographiques
Auteur principal:	Zhongwan, Lu
Format:	Livre papier
Langue:	Anglais
Publié:	Singapore ; Teaneck, NJ ; London : World scientific cop. 1989.
Autres localisations:	Voir dans le Sudoc

Documents similaires

Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences
Publié: (2023)

Logics in computer science : a study on extensions of temporal and strategic logics
par: Mogavero, Fabio, 19..-...., chercheur en informatique
Publié: (2013)

Mathematical logic quarterly : a journal for mathematical logic, foundations of mathematics, and logical aspects of theoretical computer science.
Publié: (2000)

Mathematical logic
par: Shoenfield, Joseph Robert, 1927-2000
Publié: (1967)

Mathematical Logic
par: Monk, J. Donald, 1930-

Mathematical Logic

Mathematical Logic
par: Ebbinghaus, H.-D, et autres

Logic and Computation
Publié: (2023)

Mathematical structures in computer science.
Publié: (1998)

Introduction to Mathematical Logic : Set Theory Computable Functions Model Theory
par: Malitz, Jerome, 1936-

Handbook of mathematical logic
par: Barwise, Jon, 1942-2000, logicien
Publié: (1977)

Introduction to mathematical logic.
par: Church, Alonzo, 1903-1995
Publié: (1956)

Foundations of mathematical logic
par: Curry, Haskell Brooks, 1900-1982
Publié: (1963)

Elements of mathematical logic
par: Łukasiewicz, Jan, 1878-1956
Publié: (1963)

Introduction to mathematical logic
par: Mendelson, Elliott, 1931-2020
Publié: (1964)

The elements of mathematical logic
par: Rosenbloom, Paul C., 1920-2005
Publié: (1950)

Elements of mathematical logic
par: Novikov, Petr Sergeevich, 1901-1975
Publié: (1964)

Introduction to Mathematical Logic
par: Hermes, Hans, 1912-2003

Archive for mathematical logic.

Mathematical logic : a first course
par: Robbin, Joel W.
Publié: (1969)

Mathematical logic : an introduction to model theory
par: Lightstone, Albert Harold, 1926-1976, mathématicien

Archive for Mathematical Logic.

Annals of Mathematical Logic.

Deontic logic in computer science : 7th International workshop on deontic logic in computer science, Deon 2004, Madeira, Portugal, May 26-28, 2004 : proceedings

Logic, Language and Computation

Computation theory and logic
par: Börger, Egon, 1946-

Logic for Computer Scientists
par: Schöning, Uwe, 1955-

Journal of logic and computation.
Publié: (1990)

Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
par: Mycielski, Jan, 1932-2025

Mathematics, computer science and logic : a never ending story : the Bruno Buchberger Festschrift

Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 28-30, 1994 : proceedings

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
Publié: (1968)

Logic from Computer Science : Proceedings of a Workshop held November 13-17, 1989

-Bibliography of Mathematical Logic : Model Theory
par: Ebbinghaus, Heinz-Dieter, 1939-, et autres

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

Mathematical Logic and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987

A mathematical introduction to logic
par: Enderton, Herbert, 1936-2010
Publié: (1972)

Algebraic methods of mathematical logic
par: Rieger, Ladislav, 1916-1963
Publié: (1967)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales