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
Sliding-mode robotic manipulators and mobile robots control
Applications with real-time systems
Contributions to the automatic control of hydrodynamic processes
Microelements-copper
Macromolecular chemistry exercises and problems. Polycondensation and polyaddition
Bulletin of Romanian Chemical Engineering Society 2/2025
No. 7 – Measuring and control apparatus for mowers
Energy optimization of buildings
Technical regulations regarding the design and execution of embankment works
Memories from the life of a university teacher
Homework – between the stereotype of old school and the need for personal development of primary school students
Preoperative algorithm for decreasing the incidence of biliary tract injuries during cholecystectomy
Sensors and actuators used in industrial processes
Radiology in theory and practice: from image acquisition to applications
Microprocessor Architecture. Laboratory Guide
Low voltage industrial electrical installations
Translators. Interfaces. Data acquisition
Electric cars used in transportation
Electricity and magnetism problems with solutions
The mechanics of continuous media
Nuclear power at 75 years old
Personal computers. Architecture, operation and interconnection
Contributions to improving wireless systems in smart homes
SCILAB. Applications. Modeling and simulation. SCIC
Modernization of the technical higher education system in the context of globalisation
MI-5 integrated management treaty for IMM vol 3
Financial models in continuous time
Differential equations
Second order semilinear differential inclusions in Banach spaces
Algebra. Rings, modules, Galois theory
Method of transfer matrices in the study of linear vibrations
Vibrations. Numerical and experimental applications
Construction machinery, mineral exploitation and technologies for constructions and road works, vol 1 + 2
Reliability of equipment in wastewater treatment plants
Infectious pathology transmitted through water
Applied ecology
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
No. 5 – Procedures for cleaning ventilation systems
No. 1 – 25 questions and answers for mowers
No. 8 – Legislation and technical regulations relating to stoves
Probability theory. Short course and scientific-methodical comments (translated by Tatiana & Octavian Stanasila)
Discovering Geometry: An Axiomatic Approach
Examples and counterexamples in mathematical analysis. Functions of a variable
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 1
Information technologies for the environmental investigations
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 2
Evolved human-computer interface
Designing Next-Generation Digital Libraries with Advanced Natural Language Processing Techniques: A Computational Semantics Approach
Analysis of Collaborative Online Conversations using Natural Language Processing
Optoelectronic devices
Photonic crystals and tweezers
Sensors and actuators used in industrial processes
Electrical engineering treaty. Electric drive systems
Electrical engineering treaty. Electrotechnology
Electrical engineering treaty. Sources of electricity
Ebook
BookViewer Information
Digital books
Elements of set theory
The quality of the electricity. High-rate reporting determinations
Modeling physical space by G-conjugation. Applications to the theory of relativity – Einstein vol 3
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. 1/2023
Installation engineering journal no 2/2024
Synthesis of theoretical and applied mechanics 1/2018
Synthesis of theoretical and applied mechanics 4/2016
Synthesis of theoretical and applied mechanics 2/2014
International Journal of User-System Interaction No. 1/2021
International Journal of User-System Interaction No. 3/2021
International Journal of User-System Interaction No. 3/2020
Bulletin of Romanian Chemical Engineering Society 1/2018
Bulletin of Romanian Chemical Engineering Society 1/2017
Bulletin of Romanian Chemical Engineering Society 1/2019
Romanian Journal of Civil Engineering 2/2020
Romanian Journal of Civil Engineering nr. 1/2024
Romanian Journal of Civil Engineering 3/2020
Romanian magazine of human-computer interaction 2/2018
Romanian magazine of human-computer interaction 2/2016
Romanian magazine of human-computer interaction 2/2017
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
Oracle 11g – Making database applications using Sql Plus language
Ana-Maria Ramona Stancu
30,00
lei
Add to cart
Dependability of information systems
Ioan C. Bacivarov, Sabina-Daniela Axinte, Gabriel Petrica
102,00
lei
Add to cart