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
Discrete event systems. Application themes
Aspects of robot driving. An introduction with examples
Power ultrasound implementation in industry
Thermoenergetic implications of fuel change in clinker installations
Electrochemistry and corrosion
Unorganic chemistry in Leeds
GP 128-2014: Calculation and design guide for seismic action metal structures such as presentation shelves + storage of commercial spaces
RpC’81 – Construction repairs. Quotation norm indicator
GP 125-2014: Guide for designing underground works for hydrotechnical applications & transports. Constructive composition calculation supports
Filaments, coronal mass ejections and interplanetary disturbances
Turbulence in the Heliosphere
In the footsteps of the great religions
Switching and routing in telecommunications
Wireless process management systems
Elements of telecommunications traffic engineering
Collection of problems solved by electromagnetic field
Computer aided design and design for the three-phase asynchronous motor
Electrical engineering treaty. Sensors and transducers
Physics. Electromagnetic waves
Quantum mechanics – 2nd edition revised
The theory of special relativity
VRML applications
Computer Networks and Internet Vol. 3
International Journal of User-System Interaction No. 3/2021
Organizing small and medium companies
Economic analysis. Theory and applications
Work legislation
97 algebra exercises and mathematical analysis for the preparation of baccalaureate exams and college admission
Elements of distribution theory with applications
Linear Cosserat Elastic Shells: Mathematical Theory and Applications
Vibration analysis of machine tools
Technical cryogenics
Reliability and maintenance of railway vehicles. Application works
Small capacity treatment plants
Concrete constructions with low impact on the environment and health
Applied ecology
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
Design of distributed fuzzy control systems of HVAC equipment
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 2
Dielectric and magnetic devices
Sensors and actuators
Photonic crystals and tweezers
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/2023
Installation engineering magazine no. 3/2023
Installation engineering magazine no. 3/2022
International Journal of User-System Interaction No. 2/2020
International Journal of User-System Interaction nr. 1/2022
International Journal of User-System Interaction No. 3/2021
Bulletin of Romanian Chemical Engineering Society 1&2/2016
Bulletin of Romanian Chemical Engineering Society 1/2014
Bulletin of Romanian Chemical Engineering Society 2/2017
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
The basics of e-commerce. A technological perspective
Doru Tiliute
48,00
lei
Add to cart
Advanced control strategies for networked/distributed systems – theory and applications
Constantin-Florin Caruntu, Anca Maxim, Corneliu Lazar
59,00
lei
Add to cart
Dependability of information systems
Ioan C. Bacivarov, Sabina-Daniela Axinte, Gabriel Petrica
92,00
lei
Add to cart