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
Automatic shareholders
Cooperating automated vehicles through communication networks
Automatic Speech Recognition in the Speech and Dialogue Laboratory: a synthesis of the transition from limited vocabulary systems to conversational speech
Static simulation of chemical processes using the UniSim Design simulator
Bulletin of Romanian Chemical Engineering Society 1/2023
Aluminophosphate bottles for optics and optoelectronics
NC 001-1999: Framework standard on detailing the content of the requirements laid down by Law 10/1995
GP 080-2003: Guide on the design and execution of prestressing reinforcement of reinforced concrete and masonry structures
Numerical and experimental studies on heat and mass transfer in rooms
4 to 5
Late modern civilization from the Romanian space
Homework – between the stereotype of old school and the need for personal development of primary school students
VHDL design technology
Introduction to medical imaging
Technical optics
Electricity management. Application Guide
Energy market
The basics of electrical engineering. Electrical circuit theory. Seminar
Applications of the finite element method in electromagnetic field problems. Laboratory guidance and theoretical breviary
Elements of modern and contemporary physics
Nuclear power at 75 years old
The quality of interactive systems. Studies and experiments
International Journal of User-System Interaction No. 2/2019
Microprocessor Architecture. Laboratory Guide
Human energy management
Economic analysis. Theory and applications
Implementing ethical principles in engineering, ethical challenges of emerging technologies
Special mathematics for master
Operational research. Network optimizations. Economic theory and applications
Geometric transformations. Homothesis and inversion
Synthesis of theoretical and applied mechanics 4/2018
Testing and approval of internal combustion engines
Intelligent transport systems
Environmental investigation
Elements of environmental chemistry
Information technologies for the environmental investigations
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. 8 – Legislation and technical regulations relating to stoves
No. 4 – Procedures for cleaning and degreasing the hotel
Discovering Geometry: An Axiomatic Approach
Elementary combinatorics problems. Counting, graphs, games
Geometric transformations. Homothesis and inversion
Design of distributed fuzzy control systems of HVAC equipment
Environmental monitoring systems using microwave radiometric techniques
Microwave remote sensing tools and ecoinformatics
Designing Next-Generation Digital Libraries with Advanced Natural Language Processing Techniques: A Computational Semantics Approach
Document processing using XML and Perl
Evolved human-computer interface
Photonic processors
Materials for electronics. Guidebook
Sensors and actuators
Explanatory dictionary of electrical engineering
Electrical engineering treaty. Low voltage electrical installations. Elements of audit and home automation
Electrical engineering treaty. Sensors and transducers
Ebook
BookViewer Information
Digital books
Bulletin of Romanian Chemical Engineering Society 1/2025
Construction of vehicles for self-transport. Laboratory guidance
No. 8 – Legislation and technical regulations relating to stoves
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/2022
Installation engineering journal no. 1/2021
Installation engineering journal no. 3/2023
Synthesis of theoretical and applied mechanics 2/2013
Synthesis of theoretical and applied mechanics 3/2020
Synthesis of theoretical and applied mechanics 2/2014
International Journal of User-System Interaction No. 3/2021
International Journal of User-System Interaction No. 3/2022
International Journal of User-System Interaction No. 4/2019
Bulletin of Romanian Chemical Engineering Society 2/2024
Bulletin of Romanian Chemical Engineering Society 1/2020
Bulletin of Romanian Chemical Engineering Society 1/2017
Romanian Journal of Civil Engineering 2/2019
Romanian Journal of Civil Engineering 2/2020
Romanian Journal of Civil Engineering 3/2020
Romanian magazine of human-computer interaction 2/2018
Romanian magazine of human-computer interaction 2/2017
Romanian magazine of human-computer interaction 4/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
Logical programming and functional programming. Theory and applications
Mihaela Oprea
65,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. 4/2019
RoCHI (ACM SIGCHI Romania)
32,00
lei
Add to cart