English
Română
3
My cart
My account
Log in
Register
Books
Automatic
Chemistry
Construction
Various
Electronic
Electrical engineering
Physics
Informatics
Management
Math
Mechanics
Environmental Engineering
The architecture of computing systems. Theoretical and practical applications
Leading processes with reduced energy consumption
Industrial process monitoring. Laboratory guidance
Corundum metal-ceramic interface processes
Notions of general and applied chemistry
Nonlinear dynamics
Advanced elements of thermal conduction and mass diffusion
Catalog 111 – Buildings and constructions in the chemical industry
Catalog 114 – Buildings and constructions in the food industry
Writings of modal logic
English triangle
Population migration
VHDL design technology
Sequential logic circuits. Theory and applications
Sensors and actuators used in industrial processes
Electrical engineering and electrical machines vol.1 Electrical engineering
Electrical execution elements
Transformers for continuous voltage regulation
Physik
Physics. Electromagnetic waves
General physics course I
Application security, cyber attacks and penetration testing
mGovernment – “an image” for the future of Public Administrations
Neural networks for data exploration
Modernization of the technical higher education system in the context of globalisation
Marketing. Theory and applications
Models for substantiating decisions in the management of the organization
Prime numbers. Special prime numbers
Dynamical systems in ecology, epidemiology and social sciences: from theory to applications
Rational mechanics. Theory and problems
Synthesis of theoretical and applied mechanics 2/2016
Syntheses of theoretical and applied mechanics 2/2025
Safety and technical risk
Small capacity treatment plants
Ecological chemistry
Air quality inside residential buildings. Guide. Best practices for the design, construction, operation and maintenance of housing (English translation)
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
No. 11 – Holy Protective Fathers of Coșer
No.9 – Solid wood-fuel
No. 2 – Safety and health at work for mowers
Probability theory. Short course and scientific-methodical comments (translated by Tatiana & Octavian Stanasila)
Geometric cartridges
Geometric transformations. Homothesis and inversion
Global Ecoinformatics. Theory and Applications
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 2
Information technologies for the environmental investigations
Evolved human-computer interface
Document processing using XML and Perl
Cognitive ergonomics: theories, models, applications
Sensors and photonic transducers. Guidance
Optical systems for communications
Optoelectronic measurements. Guidebook
Electrical engineering treaty. Electric drive systems
Electrical engineering treaty. Electrotechnology
Electrical engineering treaty. From robots to the virtual enterprise
Ebook
BookViewer Information
Digital books
Direct energy conversion
User interface design with the React library
The basics of electrical engineering
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. 3/2023
Installation engineering journal no. 2/2022
Installation engineering journal no 2/2024
Synthesis of theoretical and applied mechanics 1/2018
Synthesis of theoretical and applied mechanics 2/2020
Synthesis of theoretical and applied mechanics 4/2020
International Journal of User-System Interaction No. 2/2020
International Journal of User-System Interaction No. 3/2019
International Journal of User-System Interaction No. 1/2021
Bulletin of Romanian Chemical Engineering Society 2/2015
Bulletin of Romanian Chemical Engineering Society 1/2020
Bulletin of Romanian Chemical Engineering Society 1&2/2016
Romanian Journal of Civil Engineering nr. 2/2025
Romanian Journal of Civil Engineering nr. 2/2026
Romanian Journal of Civil Engineering 2/2014
Romanian magazine of human-computer interaction 4/2017
Romanian magazine of human-computer interaction 2/2010
Romanian magazine of human-computer interaction 3/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
Microprocessor Architecture. Laboratory Guide
Elena-Diana Sandru, George V. Popescu, Horia Cucu, Corneliu Burileanu
71,00
lei
Add to cart
History of Romanian computer science. Appearance, development and impact. People, institutions, concepts, theories and technologies vol 4
Marin Vlada - editor coordonator
167,00
lei
Add to cart
Numerical calculation techniques
George Mahalu
65,00
lei
Add to cart