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 analysis of linear systems
Computerized measurement systems
Programming in microcontroller assembly language
Atmospheric corrosion of zinc sheet for construction
Bulletin of Romanian Chemical Engineering Society 1/2024
Design of oxide nanomaterials with spinel structure. From synthesis to applications
ST 023-1999 Technical specification regarding the quality control of the execution of natural gas distribution systems using medium density polyethylene pipes. Quality requirements, verification procedures. ST 024-2000 Technical specification regarding execution technologies and verification procedures for natural gas distribution systems with polyethylene pipes
CR 1-2.1-2005: Railway bridge design code. Actions; CR 1-2.2-2005: Railway bridge design code. Type convoys
GEx 11-2015: Good practice guide for the design of ventilation / air conditioning installations in buildings
Under the sign of Mihail Kogălniceanu
Creation and creativity. Practices, issues and interdisciplinary approaches
Biology tests for grades V-VIII
Microwave passive circuits. Solved Exercices
Power electronics. Part I
Analog electronics in applications
Artificial intelligence methods and applications for the design and optimization of power MOSFET transistors
Materials for electrical engineering and electronics
Urban lighting. Fundamentals, solutions and calculation of lighting systems
Nuclear power at 75 years old
Physik
Electromagnetic optics. Theory and applications
Basically JAVA
Cognitive ergonomics: theories, models, applications
The road to intelligence. From computer science and intellect through hierarchical simulation
Economic financial analysis in transport. Workbook
Transport logistics and engineering management
Ergonomic technology
Elements of probability theory
Elements of applied mathematics in robotics
Methods, algorithms, simulation techniques and applications
Installations for heat treatment of metallic materials
Numerical and experimental studies on heat and mass transfer in rooms
Rolling stock comfort. Laboratory work
Urban waste management and treatment. Regional management
Equipment for communal household and greening of localities
Mathematical methods in biotechnology and environmental engineering
Collections
Cossack Library
Library of the Romanian Mathematical Sciences Society
Information Systems in Ecology
Human-computer interaction
Optoelectronics
Electrical engineering treaty
No. 3 – Procedures for cleaning chimneys
No. 1 – 25 questions and answers for mowers
No. 6 – Job description for mowers
Examples and counterexamples in mathematical analysis. Functions of a variable
170 geometry problems
Elementary combinatorics problems. Counting, graphs, games
Advanced Ecology. Monitoring, diagnostics, prognosis vol. 1
Design of distributed fuzzy control systems of HVAC equipment
Global climate and sustainable development problems (book in Russian)
Analysis of Collaborative Online Conversations using Natural Language Processing
The quality of interactive systems. Studies and experiments
Cognitive ergonomics: theories, models, applications
High capacity photonic memories
Photonic crystals and tweezers
Sensors and actuators
Electrical engineering treaty. Electric drive systems
Explanatory dictionary of electrical engineering
Electrical engineering treaty. Electrical transmission systems
Ebook
BookViewer Information
Digital books
Technical rules on the location of building works, poles for installations and trees in urban and rural localities
Romanian Journal of Civil Engineering 2/2013
Decision analysis
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. 2/2025
Installation engineering journal no. 1/2025
Installation engineering journal no. 4/2023
Syntheses of theoretical and applied mechanics 2/2024
Synthesis of theoretical and applied mechanics 2/2021
Synthesis of theoretical and applied mechanics 4/2019
International Journal of User-System Interaction No. 2/2021
International Journal of User-System Interaction No. 4/2019
International Journal of User-System Interaction No. 2/2023
Bulletin of Romanian Chemical Engineering Society 1/2014
Bulletin of Romanian Chemical Engineering Society 1/2019
Bulletin of Romanian Chemical Engineering Society 2/2015
Romanian Journal of Civil Engineering no. 1/2021
Romanian Journal of Civil Engineering 2/2010
Romanian Journal of Civil Engineering 3/2013
Romanian magazine of human-computer interaction 2/2017
Romanian magazine of human-computer interaction 4/2016
Romanian magazine of human-computer interaction 1/2008
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 2
Marin Vlada - editor coordonator
137,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