Author: Gian Carlo Meloni
Publisher:
ISBN:
Category : Formal languages
Languages : it
Pages : 37
Book Description
Introduzione semantica alla logica matematica
Author: Gian Carlo Meloni
Publisher:
ISBN:
Category : Formal languages
Languages : it
Pages : 37
Book Description
Publisher:
ISBN:
Category : Formal languages
Languages : it
Pages : 37
Book Description
Introduzione alla logica e al linguaggio matematico
Author: Giorgio Tomaso Bagni
Publisher: McGraw-Hill Education
ISBN: 9788838665059
Category : Mathematics
Languages : it
Pages : 195
Book Description
Publisher: McGraw-Hill Education
ISBN: 9788838665059
Category : Mathematics
Languages : it
Pages : 195
Book Description
Ω-Bibliography of Mathematical Logic
Author: Wolfgang Rautenberg
Publisher: Springer
ISBN: 9783540173212
Category : Mathematics
Languages : en
Pages : 536
Book Description
Gert H. Muller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg II. Non-classical Logics W. Rautenberg III. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. Proof Theory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra.
Publisher: Springer
ISBN: 9783540173212
Category : Mathematics
Languages : en
Pages : 536
Book Description
Gert H. Muller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg II. Non-classical Logics W. Rautenberg III. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. Proof Theory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra.
Subject Catalog
Author: Library of Congress
Publisher:
ISBN:
Category :
Languages : en
Pages : 1036
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 1036
Book Description
Introduzione alla logica matematica
International Logic Review
Author: Franco Spisani
Publisher:
ISBN:
Category : Logic
Languages : en
Pages : 946
Book Description
Publisher:
ISBN:
Category : Logic
Languages : en
Pages : 946
Book Description
Library of Congress Catalogs
Author: Library of Congress
Publisher:
ISBN:
Category :
Languages : en
Pages : 1038
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 1038
Book Description
Introduzione alla logica simbolica
Author: Alberto Pasquinelli
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : it
Pages : 142
Book Description
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : it
Pages : 142
Book Description
National Union Catalog
Author:
Publisher:
ISBN:
Category : Union catalogs
Languages : en
Pages : 1034
Book Description
Includes entries for maps and atlases.
Publisher:
ISBN:
Category : Union catalogs
Languages : en
Pages : 1034
Book Description
Includes entries for maps and atlases.
Informatica e diritto
Author:
Publisher:
ISBN:
Category : Information storage and retrieval systems
Languages : en
Pages : 1324
Book Description
Publisher:
ISBN:
Category : Information storage and retrieval systems
Languages : en
Pages : 1324
Book Description