English
Română
0
My cart
My account
Log in
Register
Books
Automatic
Chemistry
Construction
Various
Electronic
Electrical engineering
Physics
Informatics
Management
Math
Mechanics
Environmental Engineering
Dynamic systems
Practical applications using Mindstorms NXT robots. From introductory applications to autonomous mobile robots
Neural networks for controlling robots
Matrix networks of microalveoli support for living cells
Aluminophosphate bottles for optics and optoelectronics
Ecological red bottles based on copper ruby
Installation engineering magazine no. 1/2022
Decision elements for thermal insulation, ventilation, heating and form, when building a house (German translation)
Catalog 106 – Buildings and constructions in the non-ferrous metallurgy industry
The lesson plan. Teacher’s creative act
Modern materials and techniques, innovative in cranial surgery
Under the sign of Mihail Kogălniceanu
Transmission of information
Fundamental problems of microelectronics
Quality of service in packet switched networks
Electrical engineering and electrical machines vol.1 Electrical engineering
Vector control algorithms without mechanical sensors for asynchronous machines
Optimizing the reliability of electrical systems. Role models. Applications. Programs.
Fundamental chapters of modern physics: vol.1 – quantum physics
Science of metallic materials. Laboratory guidance
Elements of mathematical physics for technical education
Computer Networks and Internet Vol. 4
MATLAB. Introduction to App Designer, Simulink and Simscape
The basics of e-commerce. A technological perspective
Basics of management
Management of technical expertise
Decision analysis
Elements from the theory of differential equations and integral equations ed.2
Sequences from applied mathematics
Linear differential equations. Classical and modern theory
Refrigeration systems and equipment. Fundamentals, examples and applications
Mechanics for university colleges
Vibrations. Numerical and experimental applications
Acquisition techniques, monitoring and diagnosis of environmental quality. Laboratory guidance
Modern technologies for wastewater treatment
Water decantation and filtration theory
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
Environmental monitoring systems using microwave radiometric techniques
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 2
Optoelectronics
Optoelectronic devices
Optical systems for communications
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. 1/2022
Installation engineering magazine no. 3/2023
Installation engineering magazine no. 2/2022
International Journal of User-System Interaction No. 2/2019
International Journal of User-System Interaction No. 1/2021
International Journal of User-System Interaction No. 3/2019
Bulletin of Romanian Chemical Engineering Society 1/2014
Bulletin of Romanian Chemical Engineering Society 1/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
Initiation in Java through theoretical reviews and applications
Adrian Marius Deaconu, Gabriela Moise, Lucian Mircea Sasu
33,00
lei
Add to cart
Dependability of information systems
Ioan C. Bacivarov, Sabina-Daniela Axinte, Gabriel Petrica
92,00
lei
Add to cart
Conceptual and applicative in logical and functional programming
Dorin Bocu
102,00
lei
Add to cart