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
Computer aided design in knitwear
Microwave measurement technologies
Systems theory. Collection of problems. Frequency analysis of linear systems
Matrix networks of microalveoli support for living cells
Kinetic theory and the mechanism of chain reactions. Branched chain reactions
Nuclear power at 75 years old
P 121-1989 Technical instructions for the design and execution of acoustic and anti-vibration protection measures in industrial buildings
Catalog 118 – Sanitary and social buildings and constructions
I 36-2001 Guide for the design of automation systems in power plants and thermal points
Memories from the life of a university teacher
“Lingua Franca”, expression of regional and world hegemony
Modern materials and techniques, innovative in cranial surgery
Active filters
Materials for electronics. Guidebook
Optical communication systems
Insulation systems. Laboratory work and numerical applications
Simulation of electrical circuits using PSpice. Laboratory guidelines
Fundamentals of VLSI structure design
Electromagnetic optics. Theory and applications
Mechanical oscillations elastic and acoustic waves
Mechanics of the material point and of the rigid solid. Theory of relativity
Data communications vol. 1
Database. Laboratory guide
Language C – efficient programming techniques
Emergency management
Sensory analysis of food products. Laboratory manual
Management of the education and continuous professional training system
Synthesis of the fundamentals of mathematics and applications
60 years – mathematician among engineers
The convergence simultaneous inclusion methods
Testing of railway rolling stock. Laboratory work
Integrated Management Systems in the Transport Sector. Concepts, Standards and Case-Based Applications in Quality, Environment and Occupational Health & Safety
Elements of analytical mechanics
The unseen face of the Japanese miracle. Collective poisoning with cadmium and mercury
Equipment and technical systems for the greening of localities. Theory, applications, verification tests
Management of living aquatic resources in Romania’s mountain river basins, according to European Union legislation
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. 6 – Job description for mowers
No. 4 – Procedures for cleaning and degreasing the hotel
Examples and counterexamples in mathematical analysis. Functions of a variable
Geometric cartridges
Elementary combinatorics problems. Counting, graphs, games
Environmental monitoring systems using microwave radiometric techniques
Global Ecoinformatics. Theory and Applications
Microwave remote sensing tools and ecoinformatics
Analysis of Collaborative Online Conversations using Natural Language Processing
Cognitive ergonomics: theories, models, applications
Evolved human-computer interface
Dielectric and magnetic devices
Photonic crystals and tweezers
Photonic processors
Electrical engineering treaty. Reliability, diagnosis and calibration elements
Electrical engineering treaty. From robots to the virtual enterprise
Electrical engineering treaty. Electric drive systems
Ebook
BookViewer Information
Digital books
NP 021-2022: Normative for constructions containing spaces for the provision of specialized ambulatory medical assistance
Heat engines. Constructive solutions and measures to reduce pollutant emissions
Contributions to the study of subgroup lattices
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. 2/2022
Installation engineering journal no. 1/2023
Synthesis of theoretical and applied mechanics 3/2019
Synthesis of theoretical and applied mechanics 1/2021
Synthesis of theoretical and applied mechanics 4/2020
International Journal of User-System Interaction No. 2/2019
International Journal of User-System Interaction nr. 4/2023
International Journal of User-System Interaction No. 2/2023
Bulletin of Romanian Chemical Engineering Society 2/2015
Bulletin of Romanian Chemical Engineering Society 1/2025
Bulletin of Romanian Chemical Engineering Society 2/2022
Romanian Journal of Civil Engineering 3/2017
Romanian Journal of Civil Engineering 2/2013
Romanian Journal of Civil Engineering no. 4/2021
Romanian magazine of human-computer interaction 2/2015
Romanian magazine of human-computer interaction 3/2013
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
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
International Journal of User-System Interaction No. 3/2019
RoCHI (ACM SIGCHI Romania)
32,00
lei
Add to cart
Lab guide for LabVIEW programming environment
Andrei Craifaleanu, Nicolaie Orasanu
48,00
lei
Add to cart