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
Cellular automata. Fundamentals and practical approaches with applications in encryption
Theory of automatic systems
Hardware / software architectures for digital control systems
Polymeric food packaging
Notions of general and applied chemistry
The chemical elements and the periodic system “planetary form”
RpG’81 – Gas installation repairs. Quotation norm indicator
NP 029-2002 Design, execution and operation standard for heating networks with pre-insulated pipes
Construction thermotechnics ed.4
Michelangelo Buonarroti. Creativity and creation
Iasi, the historical, spiritual and cultural capital
Romania at the centenary of the Great Union
Telephone transmissions
Wavelet processing of radar signals
Telecommunication network management
Electrohydraulic deformation
Cogeneration and trigeneration
Smart electrical networks. The networks of the future
Classical physics solved problems
Structural and magnetic analysis of compounds with rare earths
Structure and evolution – ed. 5 revised and added
History of Romanian computer science. Appearance, development and impact. People, institutions, concepts, theories and technologies vol 2
Data mining element. Techniques and applications for satellite imagery and natural language analysis
AutoCAD 2D english edition
Emergency management
Integrated procurement management
Audit of the Integrated Management System (SIM)
Elementary itinerary in higher algebra
Mathematical analysis. Comprehensive calculation
Notions of applied statistics with examples in R
Syntheses of theoretical and applied mechanics 1/2025
Automation of quality control in car construction
Train aerodynamics
Small capacity treatment plants
Constructions in the context of climate change
Environmental Hygiene
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.9 – Solid wood-fuel
Examples and counterexamples in mathematical analysis. Functions of a variable
Geometric cartridges
Probability theory. Short course and scientific-methodical comments (translated by Tatiana & Octavian Stanasila)
Global Ecoinformatics. Theory and Applications
Microwave remote sensing tools and ecoinformatics
Environmental monitoring systems using microwave radiometric techniques
Designing Next-Generation Digital Libraries with Advanced Natural Language Processing Techniques: A Computational Semantics Approach
Analysis of Collaborative Online Conversations using Natural Language Processing
Document processing using XML and Perl
Optical systems for communications
Optoelectronics. Laboratory guidance
Optoelectronics. Problems
Electrical engineering treaty. Sources of electricity
Electrical engineering treaty. Sensors and transducers
Electrical engineering treaty. Electrical transmission systems
Ebook
BookViewer Information
Digital books
Servomechanism. Laboratory guidance
Brochure 08 – Agricultural constructions
Experimental research of railway vehicles. Laboratory work
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/2023
Installation engineering journal no. 3/2025
Installation engineering journal no. 1/2026
Synthesis of theoretical and applied mechanics 2/2016
Synthesis of theoretical and applied mechanics 4/2016
Syntheses of theoretical and applied mechanics 2/2023
International Journal of User-System Interaction No. 1/2022
International Journal of User-System Interaction No. 1/2019
International Journal of User-System Interaction No. 3/2023
Bulletin of Romanian Chemical Engineering Society 1/2022
Bulletin of Romanian Chemical Engineering Society 1/2020
Bulletin of Romanian Chemical Engineering Society 2/2014
Romanian Journal of Civil Engineering 2/2019
Romanian Journal of Civil Engineering 1/2023
Romanian Journal of Civil Engineering 4/2020
Romanian magazine of human-computer interaction 3/2012
Romanian magazine of human-computer interaction 3/2015
Romanian magazine of human-computer interaction 3/2013
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
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
Dependability of information systems
Ioan C. Bacivarov, Sabina-Daniela Axinte, Gabriel Petrica
102,00
lei
Add to cart