English
Română
2
My cart
My account
Log in
Register
Books
Automatic
Chemistry
Construction
Various
Electronic
Electrical engineering
Physics
Informatics
Management
Math
Mechanics
Environmental Engineering
Asymptotic stability relative to a target set for nonlinear control systems
Fundamentals of microprocessor architecture, 2nd edition revised and added
Modeling of fixed station robots
Chemistry of air pollutants
Notions of general and applied chemistry
Pesticides. Properties – accessibility
NP 126-2010: Normative regarding the foundation of constructions on lands with high swellings and contractions
C 133-2014: Technical instructions for joining metal construction elements with high-strength prestressed screws
Masonry structures. Modern problems and solutions III
Incursion into infinity near us
Under the sign of Dragomir Hurmuzescu
Dessertacia
Active filters
Electronic circuits for data acquisition. Signal conditioning
Passive components and circuits. Questions and answers
Fundamentals of electrical circuits. Theory and applications
Ag-SnO2 electrical contacts for switching devices
Active power filters. Current regulation methods
Electromagnetism (general physics course II)
Fundamental chapters of modern physics: vol. 2 – structure and properties of the solid
Statistical physics
Computing Center of the University of Bucharest (CCUB), the first computer science unit established in Romania
Cognitive ergonomics and human-computer interaction
Computer systems architecture. Application guide
MI-5 integrated management treaty for IMM vol 4
Competence qualification model, using learning outcomes for technical engineering education
Management of technical expertise
Computer aided solving of math problems
From Euclid to Hilbert. Renaissance
Optimal control for differential inclusions and applications in economics
Treatise on metallurgical technological equipment and automatic driving vol. 1 + 2 + 3
ETCS – European Train Control System
Powering internal combustion engines. Course notes
Biofuels. Biodiesel, bioethanol, diesel sun, biobutanol, biomethanol, bioadditives – revised and added edition
The impact of macromolecular compounds on the soil
Optimization of wastewater treatment technologies for reuse
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
No. 7 – Measuring and control apparatus for mowers
No. 3 – Procedures for cleaning chimneys
No. 10 – Fire prevention rules and measures
Probability theory. Short course and scientific-methodical comments (translated by Tatiana & Octavian Stanasila)
Discovering Geometry: An Axiomatic Approach
Geometric transformations. Homothesis and inversion
Design of distributed fuzzy control systems of HVAC equipment
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 1
Environmental monitoring systems using microwave radiometric techniques
Document processing using XML and Perl
Influence of Repetitions on Discourse and Semantic Analysis
Cognitive ergonomics: theories, models, applications
Optoelectronics. Laboratory guidance
Materials for electronics. Guidebook
Sensors and actuators
Electrical engineering treaty. Electric drive systems
Electrical engineering treaty. Reliability, diagnosis and calibration elements
Electrical engineering treaty. Electrotechnology
Ebook
BookViewer Information
Digital books
Flexible production systems
Electrical engineering treaty. Sensors and transducers
P 118/2-2013: Building fire safety standard – Part II – Extinguishing installations – contains only modifications and additions cf. Order 6026/2018
Journals
Installation engineering journal
Synthesis of theoretical and applied mechanics
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 journal no. 2/2022
Installation engineering journal no. 3/2023
Installation engineering journal no. 4/2022
Synthesis of theoretical and applied mechanics 1/2018
Syntheses of theoretical and applied mechanics 1/2022
Synthesis of theoretical and applied mechanics 4/2019
International Journal of User-System Interaction No. 3/2023
International Journal of User-System Interaction No. 4/2020
International Journal of User-System Interaction No. 1/2023
Bulletin of Romanian Chemical Engineering Society 1/2024
Bulletin of Romanian Chemical Engineering Society 2/2024
Bulletin of Romanian Chemical Engineering Society 2/2014
Romanian Journal of Civil Engineering nr. 3/2024
Romanian Journal of Civil Engineering nr. 2/2025
Romanian Journal of Civil Engineering 3/2016
Romanian magazine of human-computer interaction 3/2017
Romanian magazine of human-computer interaction 2/2010
Romanian magazine of human-computer interaction 4/2013
Software
Books at 5 lei
Publish with us
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
51,00
lei
Add to cart
View Content
Related products
Microprocessor Architecture. Laboratory Guide
Elena-Diana Sandru, George V. Popescu, Horia Cucu, Corneliu Burileanu
71,00
lei
Add to cart
The architecture of computing systems. Theoretical and practical applications
Nicoleta-Cristina Gaitan
115,00
lei
Add to cart
International Journal of User-System Interaction No. 2/2019
RoCHI (ACM SIGCHI Romania)
32,00
lei
Add to cart