English
Română
1
My cart
My account
Log in
Register
Books
Automatic
Chemistry
Construction
Various
Electronic
Electrical engineering
Physics
Informatics
Management
Math
Mechanics
Environmental Engineering
Artificial neural networks. Matlab applications – vers. revised
Elements of modeling and optimization of chemical processes
Modeling dynamic systems
Chemical reactors for homogeneous systems
Thermoenergetic implications of fuel change in clinker installations
Metal powder processing. Laboratory guidance
Civil engineering materials
Silicones in construction
No. 7 – Measuring and control apparatus for mowers
Writings of modal logic
Memories from the life of a university teacher
Romanian civilization in the early modern period
MATLAB. Introduction to App Designer, Simulink and Simscape
Modern Network Applications and Reference Architectures
Piezoelectric devices
C ++ programming elements useful in electrical engineering
Adjustable electric drives with direct current machines
Fundamentals of electrical circuits. Theory and applications
Physics. Mechanics
Optics
Physik
Databases
International Journal of User-System Interaction No. 1/2021
Pseudo-random signal processing for cryptology. A chaos-theory based perspective
Management of projects with international financing
Implementing ethical principles in engineering, ethical challenges of emerging technologies
General and Industrial Management
Fragments of algebra. Complex curiosities. Real grids.
From geometric intuition to linear algebra
Funktionentheorie. Vorlesungen und Aufgaben fur die Studenten
Synthesis of theoretical and applied mechanics 1/2018
Compendium of strength of materials
Machine building technology. Theoretical bases
Global Ecoinformatics. Theory and Applications
Management of living aquatic resources in Romania’s mountain river basins, according to European Union legislation
Sources, processes and pollution products. Laboratory work
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
Microwave remote sensing tools and ecoinformatics
Microwave measurement technologies
Design of distributed fuzzy control systems of HVAC equipment
Optoelectronic measurements. Guidebook
Photonic crystals and tweezers
Sensors and actuators used in industrial processes
Journals
Installation engineering magazine
Synthesis of theoretical and applied mechanics
Magazine of installations - stopped publication in 2020
International Journal of User-System Interaction
Bulletin of Romanian Chemical Engineering Society
Romanian Journal of Civil Engineering
Romanian Journal of Human-Calculator Interaction - stopped publication in 2018
Installation engineering magazine no. 3/2023
Installation engineering magazine no. 1/2023
Installation engineering magazine no. 1/2022
International Journal of User-System Interaction No. 3/2019
International Journal of User-System Interaction No. 3/2020
International Journal of User-System Interaction No. 2/2019
Bulletin of Romanian Chemical Engineering Society 2/2014
Bulletin of Romanian Chemical Engineering Society 2/2017
Bulletin of Romanian Chemical Engineering Society 1&2/2016
Software
EBOOK
Books at 5 lei
Deals
Home
/
Books
/
Informatics
/ Introduction to Mathematical and Computational Logic
Introduction to Mathematical and Computational Logic
de
Mihaela Poienariu
Universitatea "Spiru Haret" București
ISBN: 978-606-25-0777-0
Limba: Română
Suport: Hârtie
46,00
lei
Add to cart
View Content
Related products
Information processing. Laboratory guidance
Cristina Nichiforov, Grigore Stamatescu
10,00
lei
Add to cart
Dependability of information systems
Ioan C. Bacivarov, Sabina-Daniela Axinte, Gabriel Petrica
92,00
lei
Add to cart
Oracle 11g – Making database applications using Sql Plus language
Ana-Maria Ramona Stancu
27,00
lei
Add to cart