English
Română
4
My cart
My account
Log in
Register
Books
Automatic
Chemistry
Construction
Various
Electronic
Electrical engineering
Physics
Informatics
Management
Math
Mechanics
Environmental Engineering
Cooperating automated vehicles through communication networks
Neural networks for controlling robots
Dynamics of chemical systems
Mineral biotechnology
Bulletin of Romanian Chemical Engineering Society 1/2017
Elements of modeling and optimization of chemical processes
Romanian Journal of Civil Engineering nr. 2/2025
Heating of individual homes
Technical regulations regarding the design and execution of thermal, gas, air conditioning works-January 2017
Romanian civilization in the early modern period
Demonstration, knowledge, action
The lesson plan. Teacher’s creative act
Introduction to satellite communications
Optoelectronic measurements. Guidebook
Power electronics. Part I
The influence of alternating voltage corona discharge on the characteristics of overhead power lines
Computing media in electrical engineering. MATLAB
Smart electrical networks. The networks of the future
The basics of quantum field theory
Aspects of unity in solid state transformations in steels. A quasi-unitary theory of transformations in steels
Quantum mechanics – 2nd edition revised
Guidance information systems in terrestrial measurements
Designing Next-Generation Digital Libraries with Advanced Natural Language Processing Techniques: A Computational Semantics Approach
Numerical and symbolic calculation in Mathcad
Dilemmas in management. Collection of cases
Modeling the company’s activity
Economic and financial analysis. Theory and applications
Graphs and flows in networks. A theoretical approach and practical applications
Mathematical analysis. Exercises and problems – 2nd Edition
Differential equations
Techniques for simulating thermogasodynamic processes
Alternative solutions for making installations equipped with heat pumps
Heat transfer. Theoretical notions and applications for fire safety assessment – Revised and completed edition
Mathematical methods in biotechnology and environmental engineering
Biostatistics. Elements of probabilistic theory and modeling
Environmental Engineering
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
No. 4 – Procedures for cleaning and degreasing the hotel
No. 2 – Safety and health at work for mowers
No. 5 – Procedures for cleaning ventilation systems
Geometric transformations. Homothesis and inversion
Geometric cartridges
Probability theory. Short course and scientific-methodical comments (translated by Tatiana & Octavian Stanasila)
Wireless process management systems
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 2
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 1
Advanced Natural Language Processing Techniques for Question Answering and Writing Evaluation
Influence of Repetitions on Discourse and Semantic Analysis
The quality of interactive systems. Studies and experiments
Optoelectronics. Laboratory guidance
Optoelectronics. Problems
High capacity photonic memories
Electrical engineering treaty. Low voltage electrical installations. Elements of audit and home automation
Electrical engineering treaty. From robots to the virtual enterprise
Electrical engineering treaty. Sources of electricity
Ebook
BookViewer Information
Digital books
Optoelectronics. Problems
Technical rules for the design, execution and operation of natural gas supply systems – ANRE Order No. 89/2018
Incursions necessary for didactic mathematics
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. 2/2025
Installation engineering journal no 4/2024
Synthesis of theoretical and applied mechanics 4/2018
Syntheses of theoretical and applied mechanics 1/2024
Synthesis of theoretical and applied mechanics 3/2019
International Journal of User-System Interaction No. 2/2023
International Journal of User-System Interaction nr. 4/2023
International Journal of User-System Interaction No. 2/2020
Bulletin of Romanian Chemical Engineering Society 2/2024
Bulletin of Romanian Chemical Engineering Society 1/2019
Bulletin of Romanian Chemical Engineering Society 2/2025
Romanian Journal of Civil Engineering nr. 3/2025
Romanian Journal of Civil Engineering 3/2014
Romanian Journal of Civil Engineering 2/2013
Romanian magazine on human-computer interaction 2/2009
Romanian magazine of human-computer interaction 2/2018
Romanian magazine of human-computer interaction 4/2018
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
Lab guide for LabVIEW programming environment
Andrei Craifaleanu, Nicolaie Orasanu
48,00
lei
Add to cart
Human-computer interaction. Laboratory guidance
Vlad Posea
17,00
lei
Add to cart
International Journal of User-System Interaction No. 1/2019
RoCHI (ACM SIGCHI Romania)
32,00
lei
Add to cart