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
Blockchain technologies for natural resource management systems
The family of processors for the digital processing of adsp-21xx signals
Systems theory. Systems analysis
Introduction to animal cell bioengineering
Thermodynamics of glassy oxide systems
Bulletin of Romanian Chemical Engineering Society 2/2017
Prestressed concrete
Contributions to the automatic control of hydrodynamic processes
Technical regulations regarding the design and execution of foundations
Michelangelo Buonarroti. Creativity and creation
T.O.R.C.H. – Diagnostic and prophylaxis news
Under the sign of the Cantemir dynasty
Statistical data analysis techniques
Design of distributed fuzzy control systems of HVAC equipment
OPINCAA OPcode INjection for Connex-Arm Architecture (A Programming Environment For Parallel Accelerators)
Electrical execution elements
Magnetic materials for electromagnetic systems
Analog circuit guide
Physical optics. Fundamentals
Electricity and magnetism
Structural and magnetic analysis of compounds with rare earths
Introduction to the design of parallel algorithms
Assembly language programming
Introduction to systems and computer science
Marketing. Theory and applications
Integrated Management Systems in the Transport Sector. Concepts, Standards and Case-Based Applications in Quality, Environment and Occupational Health & Safety
Project Management
Linear differential equations. Classical and modern theory
Numerical methods in algebra
Introduction to functional analysis. Infinite, finite matrices, stability
High speed technique in railway transport. Application works
Thermal devices. Course
Synthesis of theoretical and applied mechanics 3/2016
Ecology and environment protection
Biostatistics. Elements of probabilistic theory and modeling
Storage, treatment and recycling of waste and materials
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. 6 – Job description for mowers
No. 1 – 25 questions and answers for mowers
170 geometry problems
Probability theory. Short course and scientific-methodical comments (translated by Tatiana & Octavian Stanasila)
Discovering Geometry: An Axiomatic Approach
Global Ecoinformatics. Theory and Applications
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 1
Information technologies for the environmental investigations
The quality of interactive systems. Studies and experiments
Cognitive ergonomics: theories, models, applications
Cognitive ergonomics and human-computer interaction
Sensors and actuators
Photonic crystals and tweezers
Technical optics
Electrical engineering treaty. Sources of electricity
Electrical engineering treaty. Electrical transmission systems
Electrical engineering treaty. Electrotechnology
Ebook
BookViewer Information
Digital books
Foundations. Design guide
Pills for living people
Systems theory. Collection of problems. Frequency analysis of linear systems
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. 1/2023
Installation engineering journal no. 4/2025
Installation engineering journal no 2/2024
Synthesis of theoretical and applied mechanics 4/2019
Synthesis of theoretical and applied mechanics 2/2017
Synthesis of theoretical and applied mechanics 3/2017
International Journal of User-System Interaction No. 3/2022
International Journal of User-System Interaction No. 1/2021
International Journal of User-System Interaction No. 2/2021
Bulletin of Romanian Chemical Engineering Society 1/2024
Bulletin of Romanian Chemical Engineering Society 1/2014
Bulletin of Romanian Chemical Engineering Society 2/2014
Romanian Journal of Civil Engineering no. 2/2021
Romanian Journal of Civil Engineering no. 3/2023
Romanian Journal of Civil Engineering nr. 2/2024
Romanian magazine of human-computer interaction 2/2013
Romanian magazine of human-computer interaction 3/2018
Romanian magazine of human-computer interaction 3/2016
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
Introduction to Python and Qt
Dan V. Popa
78,00
lei
Add to cart
Conceptual and applicative in logical and functional programming
Dorin Bocu
113,00
lei
Add to cart
Fundamentals of microprocessor architecture, 2nd edition revised and added
Lucian N. Vintan
199,00
lei
Add to cart