Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 58 | << page >> |
Sort by
|
Book
ISBN: 0855277572 Year: 1979 Publisher: Hassocks Harvester press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
510.2 --- Foundations of mathematics --- 510.2 Foundations of mathematics --- Artificial intelligence. --- Metamathematics. --- Symmetry.
Book
ISBN: 2707111120 9782707111128 Year: 1979 Volume: 228 Publisher: Paris Maspero
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Law --- China --- S08/0350 --- 34 <51> --- 342 <510> --- China: Law and legislation--General works and codices: since 1949 --- Rechtswetenschappen.--China --- Staatsrecht. Publiekrecht --(algemeen)--?<510> --- 342 <510> Staatsrecht. Publiekrecht --(algemeen)--?<510> --- 34 <51> Rechtswetenschappen.--China
Book
ISBN: 3528083859 3322857964 Year: 1979 Volume: Bd. 22 Publisher: Braunschweig Vieweg
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Predicate calculus. --- 510.6 --- Predicate calculus --- Calculus, Predicate --- Quantification theory --- Logic, Symbolic and mathematical --- 510.6 Mathematical logic
Book
ISBN: 0387903461 1461394430 1461394414 9780387903460 Year: 1979 Publisher: New York (N.Y.): Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Logic, symbolic and mathematical --- 510.22 --- 510.5 --- 510.67 --- 510.6 --- #TCPW W1.0 --- #TCPW W1.2 --- #WWIS:d.d. Prof. L. Bouckaert/ALTO --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Algorithms. Computable functions --- Theory of models --- Logic, Symbolic and mathematical. --- 510.6 Mathematical logic --- 510.67 Theory of models --- 510.5 Algorithms. Computable functions --- 510.22 Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Logique symbolique et mathématique
ISBN: 0444852077 9780444852076 Year: 1979 Volume: v. 98 Publisher: Amsterdam : North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Toposes --- 510.6 --- Topoi (Mathematics) --- Categories (Mathematics) --- Mathematical logic --- 510.6 Mathematical logic --- Logique algébrique --- Topos (mathématiques) --- Algebraic logic --- Logique algébrique --- Topos (mathématiques)
ISBN: 9027709297 9048183537 9401576424 9789027709295 Year: 1979 Volume: 127 Publisher: Dordrecht Reidel
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic --- 510.67 --- Theory of models --- 510.67 Theory of models --- Théorie des modèles --- Modalité (logique) --- Logique modale --- Logique générale --- Logique mathematique --- Theorie des modeles
Book
ISBN: 020102540X 9780201025408 Year: 1979 Publisher: Reading (Mass.): Addison-Wesley
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Predicate calculus --- Unsolvability (Mathematical logic) --- 510.6 --- #WWIS:ALTO --- Degrees of unsolvability --- Turing degrees of unsolvability --- Recursive functions --- Calculus, Predicate --- Quantification theory --- Logic, Symbolic and mathematical --- Predicate calculus. --- Unsolvability (Mathematical logic). --- 510.6 Mathematical logic
Book
ISBN: 0442301855 0442253079 9780442253073 Year: 1979 Publisher: New York (N.Y.): Van Nostrand
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Logic, symbolic and mathematical --- 510.6 --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- 510.6 Mathematical logic
Book
ISBN: 0521218799 9780521218795 Year: 1979 Publisher: Cambridge Cambridge University press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Modality (Logic) --- Proof theory --- Modalité (Logique) --- Théorie de la preuve --- Proof theory. --- 510.6 --- Logic, Symbolic and mathematical --- Modal logic --- Logic --- Nonclassical mathematical logic --- Bisimulation --- 510.6 Mathematical logic --- Modalité (Logique) --- Théorie de la preuve
Book
ISBN: 3110077264 Year: 1979 Publisher: Berlin de Gruyter
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 10 of 58 | << page >> |
Sort by
|