Non-clasical logics, model theory and computability.

Fundamentals of computer logic /
Autor: Hutchison, David
Vydáno: (1981)

Optimization and computational logic /
Autor: Macaloon, Ken
Vydáno: (1996)

Computer science and multiple-valued logic theory and applications /
Vydáno: (1977)

Quantum Computation and Logic How Quantum Computers Have Inspired Logical Investigations /
Autor: Dalla Chiara, Maria Luisa
Vydáno: (2018)

Logic design and witching theory /
Autor: Muroga, Saburo
Vydáno: (1979)

Introduction to mathematical logic : set theory. Computable functions. Model theory /
Autor: Malitz, Jerome
Vydáno: (1979)

Introduction to logic circuit theory /
Autor: Aleksander, I.
Vydáno: (1970)

Logical design for computers and control /
Autor: Dodd, K. N.
Vydáno: (1972)

Digital logic and computer design /
Autor: Mano, M. Morris
Vydáno: (1979)

ACM transactions on computational logic
Vydáno: (2000)

Computer arithmetic. Logic and design /
Autor: Spaniol, Otto
Vydáno: (1981)

Computer logic, testing and verification /
Autor: Roth, John Paul
Vydáno: (1980)

COMPUTER SCIENCE AND MULTIPLE-VALUED LOGIC : Theory and applications /
Autor: Rine, David C.
Vydáno: (1984)

Computational logic : symposium proceedings, Brussels, Belgium, November 13/14, 1990 /
Vydáno: (1990)

Essentials of computational chemistry. Theories and models /
Autor: Cramer, Christopher J.
Vydáno: (2004)

Varstroj. VAREX 160, 180, 200. VARMIG 400 D14 Clasic, 600 D14 Clasic. VARMIG 1600, 1700, 1800, 2000. VARKO 1100, VARIN 1300, 1500, 1700, 2000CEL.
Vydáno: (2007)

Introduction to switching theory and logical design /
Autor: Hill, Frederick J., a další
Vydáno: (1981)

The evolution of type theory in logic and mathematics /
Autor: Laan, Twan Dismas Laurens
Vydáno: (1997)

Integration of fuzzy logic and chaos theory /
Autor: Li, Zhong, a další
Vydáno: (2006)

Mathematical logic and formalized theories : a survey of basic concepts and results /
Autor: Rogers, Robert
Vydáno: (1974)

Digital logic : basic theory and practice /
Autor: Smith, J. H.
Vydáno: (1971)

Only non-contradictory model of the universe /
Autor: Skalský, Vladimír
Vydáno: (2000)

Model theory /
Autor: Chang, C. C.
Vydáno: (1977)

FROM LOGIC DESIGN TO LOGIC PROGRAMMING /
Autor: Snyers, Dominique
Vydáno: (1987)

Trade Theory in Computable General Equilibrium Models Armington, Krugman and Melitz /
Autor: Dixon, Peter B.
Vydáno: (2018)

MATHEMATICAL THEORY OF NON-LINEAR ELASTICITY /
Autor: Hanyga, A.
Vydáno: (1985)

Practical programming for non-computer professionals /
Autor: Gordon, Alan M.
Vydáno: (1984)

On non-determinacy in simple computing devices /
Autor: Hartmanis, Juris
Vydáno: (1971)

Logics for digital circuit verification. Theory, algorithms, and applications /
Autor: Janssen, Gradus Leonardus Johannes Maria
Vydáno: (1999)

Logic and discrete mathematics. A computer science perspective /
Autor: Grassmann, Winfried Karl
Vydáno: (1996)

Ewa Orłowska on Relational Methods in Logic and Computer Science
Vydáno: (2018)

Cluster models for chemisorption on non-metallic surfaces /
Autor: Lindblad, Marina
Vydáno: (1992)

Logical Form Between Logic and Natural Language /
Autor: Iacona, Andrea
Vydáno: (2018)

Mathematical logic /
Autor: Flum, Jörg, a další
Vydáno: (1984)

Logic in algebraic form : three lenguages and theories.
Autor: Craig, William
Vydáno: (1974)

THE LOGIC OF INDUCTION /
Autor: Mortimer, Halina
Vydáno: (1988)