English
Română
1
My cart
My account
Log in
Register
Books
Automatic
Chemistry
Construction
Various
Electronic
Electrical engineering
Physics
Informatics
Management
Math
Mechanics
Environmental Engineering
Dynamic prediction of values in next generation microprocessors
Modeling dynamic systems
Applied Mechanics in Robotics. Methods and Models
Bulletin of Romanian Chemical Engineering Society 1/2020
Ecological red bottles based on copper ruby
Automatic process management. Theory and applications in chemical engineering
Brochure 31 – Special constructions and buildings for the ferrous metallurgical industry – common objects
Catalog 123 – Buildings and constructions for railway transport
NP 137-2014: Norm for the in situ evaluation of the concrete resistance in the existing constructions
Following in the footsteps of great scientific and technical discoveries
Preoperative algorithm for decreasing the incidence of biliary tract injuries during cholecystectomy
Dessertacia
Electronic circuits
Elements of telecommunications traffic engineering
Image analysis and processing
The basics of electrical engineering. Electromagnetic field
Modern controls in electric drive systems. Direct torque and flow control
Electric drives with asynchronous motors. Wired logic diagrams
Structure and evolution – ed. 5 revised and added
From cold plasma to controlled fusion: code, matter and the security of tomorrow’s science
Electromagnetism (general physics course II)
Lossless compression. Methods and applications
Hyponymy, synonymy, antonymy. Approach from the perspective of theoretical linguistics and computational linguistics
Bubble-free Embedded Architecture for Multithreading. Software approach
Management of the education and continuous professional training system
Basics of management
From the secrets of integrated management for SMEs
Continuous, discrete and hybrid integral transformations
Henstock integrability and all-inclusive applications
Differential equations and partial differential equations. Theory and applications
Applied Mechanics in Robotics. Methods and Models
Modeling and simulation of dynamic heat transfer processes
Heating installations with low temperature radiant tubes of high volume enclosures. Experimental physical bases
Acquisition techniques, monitoring and diagnosis of environmental quality. Laboratory guidance
Major environmental pollutants: dinitrophenyls and dinitrophenyl ethers, synthesis, chemical characterization, biological activity
Ion exchange processes in environmental protection
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
No.9 – Solid wood-fuel
No. 1 – 25 questions and answers for mowers
No. 6 – Job description for mowers
Probability theory. Short course and scientific-methodical comments (translated by Tatiana & Octavian Stanasila)
Examples and counterexamples in mathematical analysis. Functions of a variable
Discovering Geometry: An Axiomatic Approach
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 2
Global climate and sustainable development problems (book in Russian)
Microwave measurement technologies
Cognitive ergonomics: theories, models, applications
The quality of interactive systems. Studies and experiments
Analysis of Collaborative Online Conversations using Natural Language Processing
Materials for electronics and optoelectronics
Image quality from concept definition to applications
Photonic processors
Electrical engineering treaty. From robots to the virtual enterprise
Electrical engineering treaty. Low voltage electrical installations. Elements of audit and home automation
Electrical engineering treaty. Electrical transmission systems
Ebook
BookViewer Information
Digital books
Elements of fluid physics and hydraulics
Intervention methodology for the non-invasive approach to energy efficiency in buildings with historical and architectural value
Microwave passive circuits. Solved Exercices
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/2022
Installation engineering journal no. 1/2022
Installation engineering journal no. 1/2025
Synthesis of theoretical and applied mechanics 4/2016
Synthesis of theoretical and applied mechanics 2/2012
Synthesis of theoretical and applied mechanics 2/2011
International Journal of User-System Interaction No. 2/2022
International Journal of User-System Interaction No. 3/2019
International Journal of User-System Interaction No. 3/2021
Bulletin of Romanian Chemical Engineering Society 2/2015
Bulletin of Romanian Chemical Engineering Society 1/2015
Bulletin of Romanian Chemical Engineering Society 1/2020
Romanian Journal of Civil Engineering 2/2016
Romanian Journal of Civil Engineering no. 3/2022
Romanian Journal of Civil Engineering nr. 1/2025
Romanian magazine of human-computer interaction 2/2016
Romanian magazine of human-computer interaction 3/2017
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
Dependability of information systems
Ioan C. Bacivarov, Sabina-Daniela Axinte, Gabriel Petrica
102,00
lei
Add to cart
Introduction to Python and Qt
Dan V. Popa
78,00
lei
Add to cart
History of Romanian computer science. Appearance, development and impact. People, institutions, concepts, theories and technologies vol 1
Marin Vlada - editor coordonator
137,00
lei
Add to cart