English
Română
5
My cart
My account
Log in
Register
Books
Automatic
Chemistry
Construction
Various
Electronic
Electrical engineering
Physics
Informatics
Management
Math
Mechanics
Environmental Engineering
Hierarchical regulation of the catalytic cracking process
Acquisition and processing of signals from multisensory systems
Systems theory. Collection of problems. Frequency analysis of linear systems
Mathematical modeling methods applied in the cement industry
Pesticides. Properties – accessibility
Bulletin of Romanian Chemical Engineering Society 1/2018
Iz’81 – Isolations. Quotation norm indicator
Handbook of design examples for reinforced concrete and prestressed concrete elements according to Eurocode 2 and FIB Model Code 2010 – 2nd edition
Energy efficiency of non-residential buildings in Romania
4 to 5
Dessertacia
Biology tests for grades V-VIII
Materials for electronics. Guidebook
Introduction to microcontrollers and programmable controllers
Large-scale Internet of Things sensor networks in Smart City ecosystems
Electric cars used in transportation
Automatic Speech Recognition in the Speech and Dialogue Laboratory: a synthesis of the transition from limited vocabulary systems to conversational speech
Technical drawing and engineering graphics. Laboratory work
Elements of fluid physics and hydraulics
Elements of statistical physics
Collection of problems solved by grid physics. For baccalaureate and admission to higher education
Transmission of information in computer networks
Principles of information compression and coding
Information theory and coding. From theory to applications
Treaty of industrial organization
Integrated procurement management
Industrial management in the circular economy. Vol. 2 Mathematical models, studies and comparative analyses
Vector analysis
Analytical and numerical solutions for differential equations
Basic Trigonometry
Synthesis of theoretical and applied mechanics 4/2020
Basics of metal cutting. Theory and applications
Synthesis of theoretical and applied mechanics 2/2014
Ecology and sustainable development. Laboratory work
Drinking and industrial water technology
From science to policies in flood risk management and space planning
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
No. 2 – Safety and health at work for mowers
No. 3 – Procedures for cleaning chimneys
No. 4 – Procedures for cleaning and degreasing the hotel
Geometric cartridges
Probability theory. Short course and scientific-methodical comments (translated by Tatiana & Octavian Stanasila)
170 geometry problems
Wireless process management systems
Design of distributed fuzzy control systems of HVAC equipment
Global Ecoinformatics. Theory and Applications
Cognitive ergonomics: theories, models, applications
Analysis of Collaborative Online Conversations using Natural Language Processing
Introduction to human-computer interaction
Optoelectronic devices
Dielectric and magnetic devices
Experimental results and simulations of advanced optoelectronic devices
Electrical engineering treaty. Industrial equipment. Elements of mechatronics and bionics
Electrical engineering treaty. Electrical transmission systems
Electrical engineering treaty. From robots to the virtual enterprise
Ebook
BookViewer Information
Digital books
NP 066-2002: Normative design of sports fields and stadiums (basic functional unit) from the point of view of law 10
Speculative forays into and beyond software engineering
Electrical circuit theory. Applications
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. 4/2025
Installation engineering journal no. 1/2023
Installation engineering journal no. 3/2024
Syntheses of theoretical and applied mechanics 2/2023
Synthesis of theoretical and applied mechanics 2/2014
Synthesis of theoretical and applied mechanics 2/2010
International Journal of User-System Interaction No. 1/2023
International Journal of User-System Interaction No. 1/2021
International Journal of User-System Interaction No. 4/2020
Bulletin of Romanian Chemical Engineering Society 1/2018
Bulletin of Romanian Chemical Engineering Society 1/2015
Bulletin of Romanian Chemical Engineering Society 1/2017
Romanian Journal of Civil Engineering nr. 2/2026
Romanian Journal of Civil Engineering No. 4/2019
Romanian Journal of Civil Engineering no. 2/2022
Romanian magazine of human-computer interaction 4/2017
Romanian magazine of human-computer interaction 1/2013
Romanian magazine on human-computer interaction 2/2009
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
The architecture of computing systems. Theoretical and practical applications
Nicoleta-Cristina Gaitan
115,00
lei
Add to cart
Dependability of information systems
Ioan C. Bacivarov, Sabina-Daniela Axinte, Gabriel Petrica
102,00
lei
Add to cart
International Journal of User-System Interaction No. 3/2019
RoCHI (ACM SIGCHI Romania)
32,00
lei
Add to cart